search

dragonwasrobot / learn-prolog-now-exercises

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
288 stars 81 forks source link

Fix the response to the penultimate query in exercise 9.1 #20

Closed ghost closed 8 years ago

ghost commented 8 years ago

==/2 checks if the two arguments are identical terms, it is not the =/2 which does unification.