Mercurial > hg > Applications > Lite

changeset 11:30c6f64102fa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Sat, 20 Jan 2001 02:16:19 +0900
parents f2aa38ce0787
children 66d0522d46e8
files infinite.pl
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/infinite.pl	Fri Jan 19 23:14:00 2001 +0900
+++ b/infinite.pl	Sat Jan 20 02:16:19 2001 +0900
@@ -40,6 +40,7 @@
 retract_all(_).
 
 infinite(L) :-
+    % 1 seems like original ITL formula that is root.
     setof(S,(links(S,1),integer(S)),Children),
     more_only_node(1,Children,L,[],[1]).
 infinite([]) :-
@@ -50,6 +51,7 @@
 more_only(S) :- number(S).
 
 more_only_node(S,[S1|Children],[S|L],L1,Hist) :-
+%    write('checking '),write(S),nl,
     more_only(S),!,
     % starting false loop
     more_only_loop(S1,Children,L,L1,[S|Hist],[S]).
@@ -62,7 +64,6 @@
 more_only_node1([_|T],L,L1,Hist) :-
     more_only_node(T,L,L1,Hist).
 
-
 more_only_loop(S,_,L,L,_Hist,Seq) :-
     member(S,Seq),!,
     assert(found_infinite).