Результаты поиска по запросу "meta-predicate"
@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
Почему мы используем '!' в прологе
Это код, который я пытаюсь понять.
Пролог GNU - оператор Univ? Объяснение этого
Итак, унив оператор. Я не совсем понимаю это.Например это:
Полагаясь на порядок правил
Чтобы рассчитать расстояние Хэмминга между двумя списками одинаковой длины, я используюfoldl(hamm, A, B, 0, R). с этим определениемhamm/4: hamm(A, A, V, V) :- !. hamm(A, B, V0, V1) :- A \= B, V1 is V0 + 1.Разрез в первом правиле предотвращает ...
Pairwise отношение по списку
Следующий предикат высшего порядка успешно выполняется, если все пары элементов списка верны для данного отношения. Есть общее или лучшее, более намеренное раскрытие имени для этого отношения? Моя оригинальная мотивация для этого имени была в ...
Наиболее общее ограничение высшего порядка, описывающее последовательность целых чисел, упорядоченных по отношению
В CLP (FD) нам часто нужно указывать: «Это список целых чисел и переменных конечной области в (иногда:строго) в порядке возрастания / убывания. "Существ...