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

Solution

not_parent(X,Y) :- not(parent(X,Y)).
    

Back to the exercise.