Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

31 lines (24 sloc) 0.561 kb
ma(mien,juul).
ma(juul,bea).
ma(bea,alex).
ma(bea,cons).
oma(X,Z):-ma(X,Y),ouder(Y,Z).
append(nil,X,X).
append(cons(A,X), Y, cons(A,Z)):- append(X,Y,Z) .
pa(alex,ale).
pa(alex,ama).
pa(alex,ari).
ma(max,ale).
ma(max,ama).
ma(max,ari).
ma(bea,con).
ma(bea,fri).
elem(X, cons(X,Y)).
elem(X, cons(Z,Y)) :- elem (X, Y).
man(X) :- elem(X, cons(claus, cons(alex, cons(con, cons(fri, empty))))).
ouder(X,Y) :- pa(X,Y).
ouder(X,Y) :- ma(X,Y).
voor(X,Y) :- ouder(X,Y).
voor(X,Y) :- ouder(X,Z), voor(Z,Y).
plus(zero,X,X).
plus(succ(X), Y, succ(Z)) :- plus(X, Y,Z).
Jump to Line
Something went wrong with that request. Please try again.