Результаты поиска по запросу "iso-prolog"

1 ответ

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

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

1 ответ

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

Предположим, у меня есть следующее правило DCG: factor(X) --> "(", expr(X), ")".Обычно это будет переведено на: factor(X, A, B) :- [40|C] = A, expr(X, C, D), [41|B] = D.Разрешено ли системе Пролога переводить ее следующим образом, ...

6 ответов

Вхождение переменной в список переменных

Рассмотрим (мета-логический) предикат

ТОП публикаций

1 ответ

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

4 ответа

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

2 ответа

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

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

2 ответа

Безопасные тесты типа в Прологе

ISO-Prolog (ISO / IEC 13211-1: 1995, включая Cor.1: 2007, Cor.2: 2012) предлагаетследующие встроенные предикаты для проверки типа термина:8.3 Типовое тестиро...

4 ответа

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

Как написать стандартным образомavs_term_rearranged(AVs, T, AVsR) с учетомAVs а такжеT такой, чтоAVsR это перестановкаAVs с элементами, расположенными в том же порядке, в котором их переменные располагаются слева направо вT. AVs список элементов ...

1 ответ

Реализация прорези трассировки мета-интерпретатора пролога

У меня есть мета-интерпретатор трассировки, измененный с предыдущего вопросаПролог unbind связанной переменной.Я не понимаю, как интерпретировать разрез. Бла...

2 ответа

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