ham.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

Created: Thu, Jul 9, 12:34 AM

ham.lp
View Options

	% Generate
	1 { cycle(X,Y) : edge(X,Y) } 1 :- node(X).
	1 { cycle(X,Y) : edge(X,Y) } 1 :- node(Y).
	% Define
	reached(Y) :- cycle(1,Y).
	reached(Y) :- cycle(X,Y), reached(X).
	% Test
	:- node(Y), not reached(Y).
	% Display
	#hide.
	#show cycle/2.

Event Timeline