changeset 13:d2aa6137e9a9

*** empty log message ***
author kono
date Sat, 20 Jan 2001 18:14:58 +0900
parents 66d0522d46e8
children 0d896bcc1061
files infinite.pl
diffstat 1 files changed, 6 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/infinite.pl	Sat Jan 20 07:42:29 2001 +0900
+++ b/infinite.pl	Sat Jan 20 18:14:58 2001 +0900
@@ -51,9 +51,13 @@
 infinite([]) :-
     found_infinite.
 
+% more_only(S) :- 
+%     state(S,[empty|_],true),!,fail.
+% more_only(S) :- number(S).
+
 more_only(S) :- 
-    state(S,[empty|_],true),!,fail.
-more_only(S) :- number(S).
+    number(S),
+    state(S,[more|_],_).
 
 more_only_node(S,[S1|Children],[S|L],L1,Hist) :-
 %    write('checking '),write(S),nl,