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)))

LispWorks KnowledgeWorks and Prolog User Guide - 14 Dec 2001