int.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

Created: Tue, Jul 7, 9:42 AM

int.lp
View Options

	num(1..5).
	top5(5..9).
	top(9).
	top5num(1..X-4,5..X) :- num(X-4..X), top5(1..5), top(X).

Event Timeline