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
add(0,N,N). add(succ(X),N,succ(XPlusN)) :- add(X,N,XPlusN).
Back to the exercise.