Пролог выдаёт ОШИБКУ: неопределённая процедура: высказывание / 1 (DWIM не может исправить цель)

Question

высказывание (X): - предложение (X, []).

предложение (начало, конец): - именная фраза (начало, отдых, номер), словесная фраза (отдых, конец, номер).

существительное ([существительное | конец], конец, номер): - существительное (существительное, номер). именная фраза ([Article, Noun | End], End, Number): - существительное (существительное, Number), article (Article, Number).

verbphrase ([Verb | End], End, Number): - глагол (глагол, номер). глагольная фраза ([Глагол | Отдых], Конец, Число): - глагол (Глагол, Число), именная фраза (Отдых, Конец, _).

статья (а, единственное число). статья (единственная). артикль (во множественном числе).

существительное (человек, единственное число). существительное (мужчины, множественное число). существительное (женщина, единственное число). существительное (женщины, множественное число). существительное (собака, единственное число). существительное (собаки, множественное число).

глагол (лайки, единственное число). глагол (например, множественное число). глагол (укусы, единственное число). глагол (прикус, множественное число).

ОШИБКА: неопределенная процедура: высказывание / 1 (DWIM не может исправить цель)

Answer 1

Ошибка предполагает, что вы не загрузили исходный код. Сохраните его в файле, например, grammar.pl. Затем запустите ваш компилятор Prolog (кажется, что вы используете SWI-Prolog из текста сообщения об ошибке) и измените текущий рабочий каталог на каталог, в котором вы сохранили исходный файл, и используйте следующий запрос для загрузки файла:

?- [grammar].

В качестве альтернативы используйте полный путь к исходному файлу в одинарных кавычках:

?- ['/foo/bar/grammar'].

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