# HG changeset patch
# User kono
# Date 979944149 -32400
# Node ID 66d0522d46e884eff6cba2a1288cc3c2bf331687
# Parent  30c6f64102fa169be6a3c21cc6d1e2bac8463d65
*** empty log message ***

diff -r 30c6f64102fa -r 66d0522d46e8 infinite.pl
--- a/infinite.pl	Sat Jan 20 02:16:19 2001 +0900
+++ b/infinite.pl	Sat Jan 20 07:42:29 2001 +0900
@@ -32,6 +32,11 @@
 
 write_infinite_seq(L) :-
     write('satisfiable in infinite interval:'),nl,
+    write_infinite_seq1(L).
+write_infinite_seq1([L]) :-!, % odd case.
+    make_hist([L,L],L1),
+    write_ce(L1,0),nl.
+write_infinite_seq1(L) :-
     make_hist(L,L1),
     write_ce(L1,0),nl.
 
@@ -64,7 +69,7 @@
 more_only_node1([_|T],L,L1,Hist) :-
     more_only_node(T,L,L1,Hist).
 
-more_only_loop(S,_,L,L,_Hist,Seq) :-
+more_only_loop(S,_,[S|L],L,_Hist,Seq) :-
     member(S,Seq),!,
     assert(found_infinite).
     % we find the one
diff -r 30c6f64102fa -r 66d0522d46e8 problems
--- a/problems	Sat Jan 20 02:16:19 2001 +0900
+++ b/problems	Sat Jan 20 07:42:29 2001 +0900
@@ -1,3 +1,50 @@
+Sat Jan 20 03:38:14 JST 2001
+
+demo(15) の infinite が止まらない。loop detection の計算量が
+多すぎるようですね。
+
+失敗したのを覚えておいてということだと、repeat fail loop
+で回すわけにはいきませんね。
+
+Sat Jan 20 02:33:17 JST 2001
+
+本当に、more_only(S) で判断してしまって良いのか?
+
+inifinite-> の問題もあるし...
+
+ある特定のinifinite state sequence で、ITL式が satisfiy される
+ことを ω-interval satisfiability って言うんじゃないの?
+
+だとすると、
+    その状態から、唯一、more にだけ抜ける状態
+であれば良いのか? でも、more/empty でいきなり分類してしまっているので、
+それは、それほど簡単に判断できないかな。ITL式はあるんだから、
+more を付け加えて展開すれば良いのだけど...
+
+non-determistic に empty に落ちる物は、~(<>empty) になり得ないので
+まずい。
+
+13:+ac-bc-cc-dc 183
+14:-ac-bc-cc+dc 185
+15:-ac-bc-cc+dc 186 <----
+16:+ac-bc-cc-dc 187
+17:+ac-bc-cc-dc 191
+18:+ac-bc-cc-dc 194
+19:-ac+bc-cc-dc 198
+20:-ac-bc+cc-dc 201
+21:+ac-bc-cc-dc 202
+22:+ac-bc-cc-dc 203
+23:+ac-bc-cc-dc 207
+24:-ac+bc-cc-dc 211
+25:-ac-bc+cc-dc 213
+26:+ac-bc-cc-dc 214
+27:+ac-bc-cc-dc 218
+28:+ac-bc-cc-dc 221
+29:-ac+bc-cc-dc 226
+30:-ac-bc+cc-dc 186
+
+おぉ!
+
 Fri Jan 19 20:59:46 JST 2001
 
     | ?- ex((infinite -> @infinite)).