(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)))
((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) - 6 Dec 2011
