KnowledgeWorks and Prolog User Guide > A Common Prolog > A.4 Using The Logic Interpreter

NextPrevUpTopContentsIndex

A.4.2 Multiple Goals

To request the solution of multiple goals, use: (and < goal1 > ... < goalN >)

For example:

|==> (and (member ?x (2 3)) (append (?x) (foo) ?y))
|
|X = 2
|Y = (2 FOO)
|
|OK.
|
|==> 

KnowledgeWorks and Prolog User Guide (Macintosh version) - 22 Dec 2009

NextPrevUpTopContentsIndex