Какие значения «тип» используются в стандарте?

В части первой стандарта ISO для Пролога, ISO / IEC 13211-1: 1995, понятие «тип» используется для обозначения разных вещей. Это часто приводит к путанице. На...

Как определить (и назвать) соответствующие предикаты сравнения безопасных терминов в ISO Prolog?

Стандартный порядок терминов (ISO / IEC 13211-1 7.2 Порядок терминов) определяется для всех терминов, включая переменные. Хотя для этого есть хорошее примене...

Значение индикаторов режима инстанцирования в аргументах предикатов Пролога

Глядя на документацию по Прологу, подписи предикатов иногда записываются следующим образом: foo(:Bar, +Baz, -Qux, ?Mop)Что:, +, - а также? и как я могу их интерпретировать? Кроме того, это единственные, которые существуют или их больше?

Пролог: пункты не в исходном файле

У меня есть этот кусок кода: % Family tree female(pen). male(tom). male(bob). female(liz). female(pat). female(ann). male(jim). parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(bob, ann). parent(bob, pat). parent(pat, jim).Я получаю ...

Значение индикаторов режима инстанцирования в аргументах предикатов Пролога

Глядя на документацию по Прологу, подписи предикатов иногда записываются следующим образом:

Расширение DCG: Стойкость игнорируется?

Предположим, у меня есть следующее правило DCG:

Изменение порядка имен переменных

Как написать стандартным образомavs_term_rearranged(AVs, T, AVsR) с учетомAVs а такжеT такой, чтоAVsR это перестановкаAVs с элементами, расположенными в том же порядке, в котором их переменные располагаются слева направо вT. AVs список элементов ...

Пролог: пункты не в исходном файле

У меня есть этот кусок кода:

Сложность предикатов ISO Пролог

Доступное для поиска описание языка Пролога онлайн [закрыто]