enc_toh.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	% Generate
	1 { move(D,P,T) : disk(D) : peg(P) } 1 :- moves(M), T = 1..M.
	% Define
	move(D,T) :- move(D,_,T).
	on(D,P,0) :- init_on(D,P).
	on(D,P,T) :- move(D,P,T).
	on(D,P,T+1) :- on(D,P,T), not move(D,T+1), not moves(T).
	blocked(D-1,P,T+1) :- on(D,P,T), disk(D), not moves(T).
	blocked(D-1,P,T) :- blocked(D,P,T), disk(D).
	% Test
	:- move(D,P,T), blocked(D-1,P,T).
	:- move(D,T), on(D,P,T-1), blocked(D,P,T).
	:- goal_on(D,P), not on(D,P,M), moves(M).
	:- not 1 { on(D,P,T) } 1, disk(D), moves(M), T = 1..M.
	#hide.
	#show move/3.