General
Material
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Lecture 5

Solution

numeral(0).
numeral(succ(X)) :- numeral(X).
    

Back to the exercise.