Результаты поиска по запросу "gnu-prolog"

2 ответа

Что касается сопоставления с образцом против арифметики: как бы вы сделали это здесь? Я имею в виду, что задействованные списки недоступны, потому что они являются скрытыми параметрами в правилах DCG ...

те определим пользовательские операторы - пусть это будет++,equals :- op(900, yfx, equals). :- op(800, xfy, ++).И факт: check(A equals A).Я пытаюсь сделать предикат, пусть будетcheck/1, который вернет true во всех следующих ситуациях: check( a ...

2 ответа

gprolog: получение трассировки стека после исключения

Пока использую Gprolog У меня часто бывают исключения без каких-либо номеров строк или контекста, подобных этому: uncaught exception: error(instantiation_error,(is)/2) Без всякого контекста. Я знаю, что могу сделатьtrace но отладка с помощью @ ...

1 ответ

Обратите внимание, что в то же время некоторые из этих предикатов являются частью GNU, поскольку они являются частью пролога Пролога: succ / 1, между / 3.

их реализациях Пролога отсутствуют некоторые предикаты, доступные в других. Мы можем реализовать недостающие предикаты, назовем это «Уровень совместимости Prolog». Знаете ли вы «Уровни совместимости Prolog» для Prolog (особенно для ...

ТОП публикаций