A.6.1 Examples

(logic '(color ?x) :return-type :display)

writes:

?X = RED<wait for input> (logic '(color ?x) :return-type :fill)

returns:

(COLOR RED)

(logic '(color ?x) :return-type :alist)

returns:

((?X . RED))

(logic '(color ?x) :all :list)

returns:

((COLOR RED) (COLOR BLUE) (COLOR GREEN))

(logic '(color ?x)

       :return-type :bag

       :bag-exp '(?x is a color)

       :all :values)

returns:

(RED IS A COLOR)

(BLUE IS A COLOR)

(GREEN IS A COLOR)

LispWorks KnowledgeWorks and Prolog User Guide - 14 Dec 2001