home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Power-Programmierung
/
CD1.mdf
/
prolog
/
library
/
prolo_c
/
exampl14.pro
< prev
next >
Wrap
Text File
|
1986-10-06
|
422b
|
24 lines
/* Program 14 */
/*
Goals to enter are on pp. 54-56 of the manual.
*/
domains
name, thing = symbol
predicates
likes(name,thing)
reads(name)
is_inquisitive(name)
clauses
likes(john,wine).
likes(lance,skiing).
likes(Z,books) if
reads(Z) and
is_inquisitive(Z).
likes(lance,books).
likes(lance,films).
reads(john).
is_inquisitive(john).