>>140

% 推論ルール

推論 :-
　　競技結果(_結果情報),
　　write(_結果情報), nl,
　　fail.
推論.

競技結果(_結果情報) :-
　　順位(A), 順位(B), 順位(C),
　　A ¥= B, A ¥= C, B ¥= C,
　　_結果情報 = [ a = A, b = B, c = C],
　　制約(_結果情報).


% 推論ファクト

順位(1).
順位(2).
順位(3).


(続く)