(>>147の続き)

% ユーザ記述ルール

制約(_結果情報) :- 辞書検索(_結果情報, c, 1), 辞書検索(_結果情報, b, 2), !, fail.
制約(_結果情報) :- 辞書検索(_結果情報, a, 1), !, fail.
制約(_).


% 辞書検索(辞書, キー, 値) -- 汎用的な辞書検索ルーチン
%　　入力: 辞書, キー
%　　出力: 値
%　　説明: 辞書に一致するキーが存在すれば値を返す。存在しなければ失敗する。
%　　　　　辞書のデータ構造は「キー = 値」を要素とするリストである。

辞書検索([_キー = _値|_], _キー, _値) :- !.
辞書検索([_|_辞書], _キー, _値) :- 辞書検索(_辞書, _キー, _値).


(実行結果 on SWI-PROLOG)

?- 推論.
[a=2, b=1, c=3]
[a=2, b=3, c=1]
[a=3, b=1, c=2]
true.