home *** CD-ROM | disk | FTP | other *** search
/ PC Plus SuperCD 45 / SuperCD45.iso / talleres / prog_alternat / prolog_43 / proglang.pl < prev    next >
Encoding:
Text File  |  1999-12-10  |  913 b   |  39 lines

  1. /*******************************************************
  2. Load this file then compile it (from the Run menu). Now,
  3. switch to the Console window and try these goals: 
  4.  
  5.   likes(dolly,Language).
  6.   likes(reba,Language).
  7.   likes(garth,Language).
  8.   likes(tammy,Language),oop(Language).
  9.   likes(Person,Language).
  10.   likes(Person,delphi).
  11.   likes(Person,Language),Person  tammy.
  12.   likes(Person,Language),not(Person = tammy).
  13.  
  14. *******************************************************/
  15.  
  16. oop(delphi).
  17. oop(java).
  18. oop(smalltalk).
  19. oop(eiffel).
  20.  
  21. likes(huw,prolog).
  22. likes(huw,delphi).
  23. likes(dolly,java).
  24. likes(dolly,smalltalk).
  25. likes(dolly,basic).
  26. likes(dolly,prolog).
  27. likes(tammy,java).
  28. likes(tammy,eiffel).
  29. likes(tammy,basic).
  30. likes(dwight,prolog).
  31.  
  32. likes(reba,Language) :-
  33.     oop(Language),
  34.     not(likes(dolly,Language)).
  35.  
  36. likes(garth,Language) :-
  37.     likes(reba,Language),
  38.     likes(tammy,Language).
  39.