Результаты поиска по запросу "meta-predicate"
Пролог GNU - оператор Univ? Объяснение этого
Итак, унив оператор. Я не совсем понимаю это.Например это:
Почему мы используем '!' в прологе
Это код, который я пытаюсь понять.
Наиболее общее ограничение высшего порядка, описывающее последовательность целых чисел, упорядоченных по отношению
В CLP (FD) нам часто нужно указывать: «Это список целых чисел и переменных конечной области в (иногда:строго) в порядке возрастания / убывания. "Существ...
@bennyty: эта документация немного вводит в заблуждение.
ы пишете процедуру Прологmap(List, PredName, Result) который применяет предикатPredName(Arg, Res) к элементамListи возвращает результат в спискеResult? Например: test(N,R) :- R is N*N. ?- map([3,5,-2], test, L). L = [9,25,4] ; no
Pairwise отношение по списку
Следующий предикат высшего порядка успешно выполняется, если все пары элементов списка верны для данного отношения. Есть общее или лучшее, более намеренное раскрытие имени для этого отношения? Моя оригинальная мотивация для этого имени была в ...
Полагаясь на порядок правил
Чтобы рассчитать расстояние Хэмминга между двумя списками одинаковой длины, я используюfoldl(hamm, A, B, 0, R). с этим определениемhamm/4: hamm(A, A, V, V) :- !. hamm(A, B, V0, V1) :- A \= B, V1 is V0 + 1.Разрез в первом правиле предотвращает ...