Category: Constraint
Comment: D. L. Waltzによる画像理解アルゴリズムを基本とした汎用
        制約記述言語CONSATの解説。
        ○ 制約記述方式
        許されるパターンの列挙、または制約が満たされていな
        い変数の値を計算する関数の列挙。
        ○ 値の計算方式
        可能な値をしらみつぶしに調べて条件に適合するもの
        だけ残した集合を作る。(適合する結果の集合は多くな
        いということを仮定?)
Bibtype: Book
Author: Hans Werner G\"{u}sgen
Series: Research Notes in Artificial Intelligence
Title: CONSAT: A System For Constraint Satisfaction
Comment1: 既存システムの例としてWaltzのものとSteele,SussmanのEL
        しかとりあげていない。
        Steeleのシステムは数値のみしかとり扱えず、また集合も
        扱えないので困るといっている。
        バッチ式(インクリメンタルでない)のシステムであり速度
        は速くないであろう。
Year: 1989
Publisher: Morgan Kaufmann Publishers