sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove write_state/5.

This commit is contained in:
Simon Forman 2019-07-21 17:56:34 -07:00
parent 6818abb3ce
commit 66d8a3be47
1 changed files with 0 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
thun/TLA.pl
View File

@ -43,18 +43,8 @@ type_ok(Small, Big) :- Small in 0..3, Big in 0..5.
next_dh(Small, Big, S, B, Mi, Mo) :- next_dh(Small, Big, S, B, Mi, Mo) :-
B #\= 4, type_ok(Small, Big), B #\= 4, type_ok(Small, Big),
die_hard(Move, Small, Big, Si, Bi), die_hard(Move, Small, Big, Si, Bi),
% write_state(Move, Small, Big, Si, Bi),
State = [Move, Si, Bi], State = [Move, Si, Bi],
(Bi = 4 -> Mo=[State|Mi] ; next_dh(Si, Bi, S, B, [State|Mi], Mo)). (Bi = 4 -> Mo=[State|Mi] ; next_dh(Si, Bi, S, B, [State|Mi], Mo)).
% next_dh(_, _, _, 4, M, M).
write_state(Move, Small, Big, Si, Bi) :-
write(Move), write(": "),
write(Small), write(" "), write(Big),
write(" -> "),
write(Si), write(" "), writeln(Bi).
% die_hard(Small, Big, S, B). % die_hard(Small, Big, S, B).