NextPrevUpTopContentsIndex

3.2.5.1 Examples

(any '(?x is in (1 2 3)) '(member ?x (1 2 3)))

returns

(1 is in (1 2 3))

The following expression:

(findall '(?x is in (1 2 3)) '(member ?x (1 2 3)))

returns

((1 is in (1 2 3))(2 is in (1 2 3))(3 is in (1 2 3)))
KnowledgeWorks and Prolog User Guide (Macintosh version) - 11 Jul 2006

NextPrevUpTopContentsIndex