Mercurial > hg > Applications > Lite
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,