Использование \ == / 2 или dif / 2

Если я хочу убедиться, что две переменные не соответствуют одному и тому же термину, каков предпочтительный способ сделать это? Допустим, мне нужно найти ориентированные ребра в графе, а у узла не может быть ребра: node(a, x, y). node(b, z, x). ...

Принудительно прологи выбирают уникальные значения переменных

Хорошо, я новичок в Прологе, так что извините, если это что-то тривиальное, но я не могу найти правильный элегантный ответ на это. Я пытаюсь выполнить ...

Проверьте, не превышает ли частота какого-либо элемента

Я хочу решить проблему: у меня есть список элементов Prolog. Если частота любого элемента большеN тогда ложь - это возвращение. Мои ожидания как ниже. ?- frequency([1,2,2,2,5],3). true. ?- frequency([1,2,2,2,2,5],3). false. У меня есть код для ...

Удаление всех вхождений элемента из списка

Пытаясь написать процедуру, которая дала бы значение и список, он удаляет все вхождения этого значения в список и пишет:

Каковы предикаты сбоя в Прологе?

Что логического «не» в Прологе?

Проблема, с которой я сталкиваюсь, немного тривиальна. Я хочу использовать логическое не в Прологе, но кажется, чтоnot/1 это не то, что я хочу course(ai). course(pl). course(os). have(X,Y) :- course(X),course(Y),not(X = Y). Я ...

Пролог Список Плато

Просто познакомился с прологом, пытаясь выполнить несколько простых упражнений, но я застрял на этом. Я пытаюсь написать программу, которая выводит все подсписки списка ввода, где каждый подсписок имеет длину> 1, и его нельзя расширить до ...

Как определить (и назвать) соответствующие предикаты сравнения безопасных терминов в ISO Prolog?

Стандартный порядок терминов (ISO / IEC 13211-1 7.2 Порядок терминов) определяется для всех терминов, включая переменные. Хотя для этого есть хорошее примене...