制約論理プログラミング
ブール領域(Boolean Domain)は真偽値の制約だけを扱う領域である。制約は一般的な論理演算子で構成される等式として表現される。制約処理方法としては、Booleの変数除去に基づいたブーリアン・ユニフィケーションやSL-導出(SL-resolution)のブール式への応用など様々なものがある。Prolog IIIやCHIP(Constraint Handling In Prolog)などの処理系ではブール領域の制約を扱うことができる。