'Peter_Griffin' = 'Peter' :- . test() :- 'Peter_Griffin' = 'Peter'.
?- test(). ---------------------------------- Query: ?- test(). ==>> 0 rows in 2ms
Rule head equality does not work when used like in the above example.
Log in to post a comment.