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
Personthat likes two things. Without the<>,G1andG2could be equal to each other and the query could find aPersonthat likes only one thing.<>may be specific to Visual Prolog. In other Prolog environments you would use\=or\==instead.