(logic '(color ?x) :return-type :display)
?X = RED<wait for input>
(logic '(color ?x) :return-type :fill)
(COLOR RED)
T
(logic '(color ?x) :return-type :alist)
((?X . RED))
T
(logic '(color ?x) :all :list)
((COLOR RED) (COLOR BLUE) (COLOR GREEN))
T
(logic '(color ?x)
:return-type :bag
:bag-exp '(?x is a color)
:all :values)
(RED IS A COLOR)
(BLUE IS A COLOR)
(GREEN IS A COLOR)
KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017