example:
PREDICATES
nondeterm likes (symbol,symbol)
CLAUSES
likes (ali,football).
likes (ali,tenis).
likes (ahmad,tenis).
likes (ahmad,handball).
likes (samir,handball).
likes (samir,swimming).
likes (khaled,horseriding).
GOAL
%
likes (Person, G1), likes (Person,G2), G1<>G2.
In that example,
<>
means "is not equal". The query:Is meant to find a
Person
that likes two things. Without the<>
,G1
andG2
could be equal to each other and the query could find aPerson
that likes only one thing.<>
may be specific to Visual Prolog. In other Prolog environments you would use\=
or\==
instead.