VisualProlog, File > Open VIP\DOC\EXAMPLES\ch02e01.pro. :
Predicates
likes(symbol,symbol)
Clauses
likes(ellen,tennis).
likes(tom,baseball).
likes(eric,swimming).
likes(tom, football).
likes(mark,tennis).
likes(bill,Activity):- likes(tom, Activity).
predicates likes, symbol. clauses 5 .
goal :
Goal
likes(tom, football).
Project > Test Goal alt+g. Messages , , yes ( ).
:
Goal
likes(bill, X).
:
X = baseball
X = football
2 Solutions
likes(bill,Activity):-likes(tom, Activity), bill, ( ), X, Activity ( ). likes(bill, Activity) () . , likes(tom, Activity) . , . likes(ellen, tennis) , tom. clauses tom, baseball. Activity, ( ) baseball ( likes(tom, Activity) ). Activity likes(bill, Activity):- likes(tom, Activity). , , . X Activity. Activity baseball, X. . . likes(tom, Activity). , : Activity=football. likes(bill, Activity) X : X = football, . likes(tom, Activity), . likes(bill, X). , : 2 Solutions.
, ( ) . VisualProlog Debugger .