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 (Unix version) - 29 Feb 2008