General
Course Home Page
ESSLLI 2004
Material
Learn Prolog Now!
Further Reading
Get your own prolog
Lecture 1
Slides
Practical Session
Lecture 2
Slides
Practical Session
Lecture 3
Slides
Practical Session
Lecture 4
Slides
Practical Session
Lecture 5
Slides
Practical Session
Solution
greater_than(succ(_),0). greater_than(succ(X),succ(Y)) :- greater_than(X,Y).
Back to the exercise.