Результаты поиска по запросу "iso-prolog"
Расширение DCG: Стойкость игнорируется?
Предположим, у меня есть следующее правило DCG:
Пролог: пункты не в исходном файле
У меня есть этот кусок кода:
Значение индикаторов режима инстанцирования в аргументах предикатов Пролога
Глядя на документацию по Прологу, подписи предикатов иногда записываются следующим образом:
Какие значения «тип» используются в стандарте?
В части первой стандарта ISO для Пролога, ISO / IEC 13211-1: 1995, понятие «тип» используется для обозначения разных вещей. Это часто приводит к путанице. На...
Как определить (и назвать) соответствующие предикаты сравнения безопасных терминов в ISO Prolog?
Стандартный порядок терминов (ISO / IEC 13211-1 7.2 Порядок терминов) определяется для всех терминов, включая переменные. Хотя для этого есть хорошее примене...
Реализация прорези трассировки мета-интерпретатора пролога
У меня есть мета-интерпретатор трассировки, измененный с предыдущего вопросаПролог unbind связанной переменной.Я не понимаю, как интерпретировать разрез. Бла...
Безопасные тесты типа в Прологе
ISO-Prolog (ISO / IEC 13211-1: 1995, включая Cor.1: 2007, Cor.2: 2012) предлагаетследующие встроенные предикаты для проверки типа термина:8.3 Типовое тестиро...
Вхождение переменной в список переменных
Рассмотрим (мета-логический) предикат
Страница 1 из 2