髪を引っ張ってる！Mac に gprolog (1.4.4) をインストールしました。Gnu Prolog マニュアルの指示に従っている (と思う) のですが、対話型環境が私の定義を記憶していません。
GNU Prolog 1.4.4 (64 bits)
Compiled Sep 26 2016, 00:06:17 with clang
By Daniel Diaz
Copyright (C) 1999-2013 Daniel Diaz
| ?- [user].
compiling user for byte code...
even(0).
even(s(s(X))) :- even(X).
user compiled, 3 lines read - 362 bytes written, 21729 ms
(2 ms) yes
| ?- even(X).
uncaught exception: error(existence_error(procedure,even/1),top_level/0)
| ?-
インタラクティブな応答からわかるように、ナレッジ ベース入力の 2 行目の後に Ctl-D を入力します (唯一のルールです)。Gprolog は、私の 3 行をコンパイルしたと言います。クエリを正しく認識できないのはなぜですか? ありがとう！