Для пролога XSB, относительно ошибки

Какой бы простой код я ни выполнял в прологе Xsb с использованием Eclipse IDE, он показывает ошибку, подобную этой:

++ Ошибка [XSB/Runtime/P]: [Существование (Процедура usermod: demo / 1 не существует)] []

Вперед Продолжение...

... machine:xsb_backtrace/1

... loader:load_pred1/1

... loader:load_pred0/1

... loader:load_pred/1

... x_interp:_$call/1

... x_interp:call_query/1

... standard:call_expose/1

... standard:catch/3

... x_interp:interpreter/0

... loader:ll_code_call/3

... standard:call_expose/1

... standard:catch/3

Дайте мне решение, если кто-нибудь знает об этом.

1 ответ

Решение

Эта ошибка означает, что вы пытаетесь позвонить demo/1 предикат, но это не известно системе. Так что, может быть demo/1 не определен, или вы забыли обратиться к исходному файлу после его определения.

Другие вопросы по тегам