0

Bratko の演習 4.3 に統計を追加して試しています。統計を追加した瞬間に、Prolog から「いいえ」の回答が返されたり、場合によっては無限ループに陥ったりするようです...

たとえば、この質問はスケジュールの明確な答えを私に与えます:

?- schedule(riva at Start, riva at End, Schedule), 
    member(arrive(malcesine at _), Schedule), 
    before(17:00, Start).

しかし、次のような統計を追加すると:

?- statistics(runtime, T1), 
    schedule(riva at Start, riva at End, Schedule), 
    member(arrive(malcesine at _), Schedule), 
    before(17:00, Start), 
    statistics(runtime, T2).

プロローグは「いいえ」と答えます。

その理由は、私が Amzi Prolog を使用しているからでしょうか?

4

1 に答える 1

2

述語statistics/2は標準の述語ではありません (一部の Prolog 実装では見られますが)。目標を達成すると何が得られますか:

?- predicate_property(statistics(_, _), built_in).

または：

?- predicate_property(statistics(_, _), imported_from(amzi_system))

両方の目標が失敗した場合は、Prolog システムが提供するライブラリを調べて、同様の機能が利用可能かどうかを確認することをお勧めします。

于 2013-11-03T20:07:51.580 に答える