home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Power-Programmierung
/
CD1.mdf
/
prolog
/
library
/
prolo_c
/
exampl11.pro
< prev
next >
Wrap
Text File
|
1986-10-06
|
257b
|
16 lines
/* Program 11 */
/*
Goals to enter are on page 47 of the manual.
*/
domains
namelist = name*
name = symbol
predicates
member(name,namelist).
clauses
member(Name,[Name|_]).
member(Name,[_|Tail]) if member(Name,Tail).