iso-prolog

6зной

4ответ

Как определить в ISO Prolog a (металогический) предикат для пересечения двух списков переменных, который работает в linear времени? Переменные могут отображаться в любом определенном порядке. Никакое

5зной

2ответ

Является ли бесконечный список из них нормальным?

В Прологе, является объединение X = [1|X] разумным способом получить бесконечный список из них? У SWI-Prolog нет никаких проблем с этим, но GNU Prolog просто зависает. Я знаю, что в большинстве случае

5зной

2ответ

Будет ли использовать элемент в рамках предложения forall в SWI-Prolog всегда выводить элементы в том же порядке?

Недавно попал в Прологе Я использую его на несколько простых задач и начал задаваться вопросом об использовании элемента в пределах FORALL петель, как в тривиальном примере ниже: forall(member(A,[1,2,

2зной

1ответ

Операторы инфикса Prolog с одинаковым приоритетом один xfy, а другой yfx с двумя последовательными операторами

При попытке понять только инфиксные операторы типа xfy и yfx с таким же приоритетом и в последовательности я вижу, что всего четыре комбинации. использованием a = xfy right-associative b = yfx left-a

18зной

6ответ

Переменная появление в списке переменных

Рассмотрим (мета-логический) предикат var_in_vars(Var, Vars) который принимает переменную Var и список переменных Vars и преуспевает, если Var происходит в Vars. Поэтому нам не нужно гарантировать, чт

17зной

2ответ

Объединение двух переменных наборов

Учитывая два списка переменных, что является самым компактным и каноническим способом в ISO Prolog, чтобы определить объединение обоих? То есть, мы хотим, чтобы это определение для (мета-логический) п

2зной

1ответ

Пролог, получив правильный ответ в терминале, но неправильный ответ при запуске программы

14зной

1ответ

Протестируйте этот термин как список отдельных переменных

Что является самым компактным и каноническим способом в ISO Prolog для проверки списка отдельных переменных? Назовем этот мета-логический предикат is_varset/1. Так что это должно быть успешным, если е