Subversion Repositories programming

Rev

Blame | Last modification | View Log | RSS feed 

nat(0).
nat(X) :- nat(Y), X is Y+1.