Subversion Repositories programming

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
107 ira 1 
nat(0).
2 
nat(X) :- nat(Y), X is Y+1.
3