まだ記述の内容は希薄ですが、制約伝播を実装した簡単な言語を
試すことのできる Java Applet があります。
Trace機能を使って伝播の様子が(多少は)わかるようにしています
ので、入門用には役にたつかも知れません。
fj.sci.mathな方のためには、魔方陣の例題もあります。
--
(株)アイザック 紀 信邦
Appletのjarとcabは作っていたのですが、手を抜いて
zipを作っていませんでした。ところが
Netscape Navigator3 の方が意外に多くて、Appletを読み込む
のにクラスを一つづつアクセスするために時間がかかり過ぎる
ようですので、zipも作りました。
(予想以上にアクセスが多いという事情もありますが)
NN3で遅くてあきらめた方はもう一度
http://www.isac.co.jp/ICS/ または
http://www.isac.co.jp/ICS/icsinjava3.html
からお試し下さい。
# jar: いろいろなブラウザのための標準的なアーカイブ形式
# cab: MSIE のためのアーカイブ形式
# zip: NN3はこれ
# という説明であっている/わかるでしょうか
--
(株) アイザック 紀 信邦