home *** CD-ROM | disk | FTP | other *** search
- language(delphi).
- language(java).
- language(smalltalk).
- language(lisp).
- language(prolog).
- language(basic).
- language(eiffel).
-
- 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).
-
-
- trendylang( L ) :-
- likes(reba,L),
- write(L),write( ' is trendy'),nl.
- trendylang( L ) :-
- likes(garth,L),
- write(L),write( ' is trendy'),nl.
- trendylang( L ) :-
- write(L),write( ' is not trendy'),nl.
-
-
- nicelangs :-
- language(L),
- trendylang(L).
-