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

Typo ex 1.4 #1

Closed Mithos-Yggdrasill closed 9 years ago

Mithos-Yggdrasill commented 10 years ago

eats(jules, X) :- nutritious(X) ; tasty(X).

OR

eat(jules, X) :- nutritious(X). eat(jules, X) :- tasty(X).

--> Jules would be interpreted as a variable