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