KnowledgeWorks and Prolog User Guide > 3 Rules > 3.2 Backward Chaining > 3.2.5 The Backward Chaining Interpreter

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 (Unix version) - 22 Dec 2009

NextPrevUpTopContentsIndex