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 `X` to anonymous variable in `greater_than` #49
Closed
ychikazawa closed 5 years ago
WHAT
greater_than(succ(X),0).
togreater_than(succ(_),0).
WHY
The warning: "Singleton variables: [X]" has been issued.