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