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

Simplify solution to exercise 6.3 #39

Closed roberthoenig closed 6 years ago

roberthoenig commented 6 years ago

This change is not completely equivalent to the original code, because it returns false for the query final([],[]), whereas the original code returned true. If one takes the exercise accurately, final([],[]) should return false.