assign.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

Created: Mon, Dec 15, 6:01 AM

assign.lp
View Options

	num(1). num(2). num(3). num(4). num(5).

	squares(XX,YY,Z) :-
	XX := XX, YY := YY, Z := XX+YY, Y1 := Y+1,
	Y1*Y1 == Z, num(X), num(Y), X < Y.

Event Timeline