home *** CD-ROM | disk | FTP | other *** search
- /*******************************************************
- Load this file then compile it (from the Run menu). Now,
- switch to the Console window and try these goals:
-
- likes(dolly,Language).
- likes(reba,Language).
- likes(garth,Language).
- likes(tammy,Language),oop(Language).
- likes(Person,Language).
- likes(Person,delphi).
- likes(Person,Language),Person tammy.
- likes(Person,Language),not(Person = tammy).
-
- *******************************************************/
-
- oop(delphi).
- oop(java).
- oop(smalltalk).
- oop(eiffel).
-
- likes(huw,prolog).
- likes(huw,delphi).
- likes(dolly,java).
- likes(dolly,smalltalk).
- likes(dolly,basic).
- likes(dolly,prolog).
- likes(tammy,java).
- likes(tammy,eiffel).
- likes(tammy,basic).
- likes(dwight,prolog).
-
- likes(reba,Language) :-
- oop(Language),
- not(likes(dolly,Language)).
-
- likes(garth,Language) :-
- likes(reba,Language),
- likes(tammy,Language).
-