in2.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	number(zero). eq(zero, 0). int(0..5).
	number(X1) :- X1:=next(X), number(X), eq(X, Y), int(Y).
	eq(X, Y) :- X:= next(X_1), eq(X_1, Y-1), int(Y).