Blame | Last modification | View Log | RSS feed
/* int.pl */ /* enumerates integers */ nat(0). nat(X) :- nat(Y), X is Y + 1. int(X) :- nat(Y),X is ((-1)**(Y mod 2))*(Y // 2).
/* int.pl */
/* enumerates integers */
nat(0).
nat(X) :- nat(Y), X is Y + 1.
int(X) :- nat(Y),X is ((-1)**(Y mod 2))*(Y // 2).