--- a/infinite.pl	Fri Jan 19 20:37:32 2001 +0900
+++ b/infinite.pl	Fri Jan 19 23:14:00 2001 +0900
@@ -31,8 +31,9 @@
     write('unsatisfiable in infinite interval.'),nl.
 
 write_infinite_seq(L) :-
-    write('satisfiable in infinite interval: '),
-    write(L),nl.
+    write('satisfiable in infinite interval:'),nl,
+    make_hist(L,L1),
+    write_ce(L1,0),nl.
 
 retract_all(X) :-
     retract(X),fail.
@@ -50,6 +51,7 @@
 
 more_only_node(S,[S1|Children],[S|L],L1,Hist) :-
     more_only(S),!,
+    % starting false loop
     more_only_loop(S1,Children,L,L1,[S|Hist],[S]).
 more_only_node(_,Children,L,L1,Hist) :- % goto one depth deeper
     more_only_node1(Children,L,L1,Hist).
@@ -84,6 +86,6 @@
     setof(S,(links(S,H),integer(S)),Children),
     more_only_loop(H,Children,L,L1,Hist,Seq).
 more_only_loop1([_|T],L,L1,Hist,Seq) :-
-    more_only_loop(T,L,L1,Hist,Seq).
+    more_only_loop1(T,L,L1,Hist,Seq).
 
 /* end */