home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Power-Programmierung
/
CD1.mdf
/
prolog
/
pdprolog
/
member.pro
< prev
next >
Wrap
Text File
|
1986-05-05
|
256b
|
13 lines
/* Recursive member of list definition.
Ask: Member( X, [a,b,c,d,e,f] ) to get successively all
the members of the given list. */
member( Y, [Y|_] ).
member( B, [_|C] ) :- member( B, C ).