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

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

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

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

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

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

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

У меня есть этот кусок кода: % 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).Я получаю ...

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

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

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

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

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

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

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

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

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