Результаты поиска по запросу "iso-prolog"
Реализация прорези трассировки мета-интерпретатора пролога
У меня есть мета-интерпретатор трассировки, измененный с предыдущего вопросаПролог unbind связанной переменной.Я не понимаю, как интерпретировать разрез. Бла...
Расширение DCG: Стойкость игнорируется?
Предположим, у меня есть следующее правило DCG:
Пролог: пункты не в исходном файле
У меня есть этот кусок кода: % 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).Я получаю ...
Значение индикаторов режима инстанцирования в аргументах предикатов Пролога
Глядя на документацию по Прологу, подписи предикатов иногда записываются следующим образом:
Вхождение переменной в список переменных
Рассмотрим (мета-логический) предикат
Значение индикаторов режима инстанцирования в аргументах предикатов Пролога
Глядя на документацию по Прологу, подписи предикатов иногда записываются следующим образом: foo(:Bar, +Baz, -Qux, ?Mop)Что:, +, - а также? и как я могу их интерпретировать? Кроме того, это единственные, которые существуют или их больше?
Какие значения «тип» используются в стандарте?
В части первой стандарта ISO для Пролога, ISO / IEC 13211-1: 1995, понятие «тип» используется для обозначения разных вещей. Это часто приводит к путанице. На...
Страница 1 из 2