Неопределенная процедура DWIM не может исправить цель в Прологе
Я действительно новичок в прологе и пробую несколько примеров. Я получаю ошибку
ERROR: Undefined procedure: eats/2 (DWIM could not correct goal) когда я запускаю правило.
Почему это показывает, если мое правило верно? Пожалуйста, смотрите правило ниже из моего.pl файла. Это взято из примера.
eats(fred,oranges). /* "Fred eats oranges" */
Пролог команды проконсультироваться: eats(fred,oranges).
Любое объяснение этой ошибки было бы очень полезно.
2 ответа
В FAQ сказано все: http://www.swi-prolog.org/FAQ/ToplevelMode.html
Вам нужно создать файл и написать туда свою программу с правилами. Командная строка верхнего уровня позволит вам только выполнять запросы.
В этой команде нет ничего плохого. Вы можете решить проблему, выполнив простую команду go to compile<compile buffer или используя сочетание клавиш control-c control-b. Это наверняка заставит ваш код работать