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 (Unix version) - 26 Feb 2015