Результаты поиска по запросу "iso-prolog"
Значение индикаторов режима инстанцирования в аргументах предикатов Пролога
Глядя на документацию по Прологу, подписи предикатов иногда записываются следующим образом: foo(:Bar, +Baz, -Qux, ?Mop)Что:, +, - а также? и как я могу их интерпретировать? Кроме того, это единственные, которые существуют или их больше?
Расширение DCG: Стойкость игнорируется?
Предположим, у меня есть следующее правило DCG:
Расширение DCG: Стойкость игнорируется?
Предположим, у меня есть следующее правило DCG: factor(X) --> "(", expr(X), ")".Обычно это будет переведено на: factor(X, A, B) :- [40|C] = A, expr(X, C, D), [41|B] = D.Разрешено ли системе Пролога переводить ее следующим образом, ...
Вхождение переменной в список переменных
Рассмотрим (мета-логический) предикат
Пролог: пункты не в исходном файле
У меня есть этот кусок кода:
Какие значения «тип» используются в стандарте?
В части первой стандарта ISO для Пролога, ISO / IEC 13211-1: 1995, понятие «тип» используется для обозначения разных вещей. Это часто приводит к путанице. На...
Изменение порядка имен переменных
Как написать стандартным образомavs_term_rearranged(AVs, T, AVsR) с учетомAVs а такжеT такой, чтоAVsR это перестановкаAVs с элементами, расположенными в том же порядке, в котором их переменные располагаются слева направо вT. AVs список элементов ...
Страница 1 из 2