MINERVAにおける制約処理 例題は、アプリケーションとして構成されます。

このディレクトリのプログラムをチェックしそれぞれの点から観察して下さい：

• 宣言的プログラミングスタイル
• 述語の使用
  • co_add/2
  • co_get/2
  • co_merge/2（ユーザー定義）
  • co_check/2 （ユーザー定義）
• 制約の定義
  • delay
  • finite domains
• 制約の使用
  • 「genf」パズルを解くgenf.min
• 複数の解を生成するPrologバックトラックと制約問題解決との組合せ
  • 「genf」パズルのために全ての解を見つけるgenf1.min