Результаты поиска по запросу "meta-predicate"
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.Разрез в первом правиле предотвращает ...
@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
Наиболее общее ограничение высшего порядка, описывающее последовательность целых чисел, упорядоченных по отношению
В CLP (FD) нам часто нужно указывать: «Это список целых чисел и переменных конечной области в (иногда:строго) в порядке возрастания / убывания. "Существ...
Почему мы используем '!' в прологе
Это код, который я пытаюсь понять.
Пролог GNU - оператор Univ? Объяснение этого
Итак, унив оператор. Я не совсем понимаю это.Например это: