Для пролога 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
не определен, или вы забыли обратиться к исходному файлу после его определения.