Результаты поиска по запросу "meta-predicate"

2 ответа

Пролог GNU - оператор Univ? Объяснение этого

Итак, унив оператор. Я не совсем понимаю это.Например это:

6 ответов

Пролог: фильтрация списка?

2 ответа

Полагаясь на порядок правил

ТОП публикаций

2 ответа

Почему мы используем '!' в прологе

Это код, который я пытаюсь понять.

3 ответа

Наиболее общее ограничение высшего порядка, описывающее последовательность целых чисел, упорядоченных по отношению

В CLP (FD) нам часто нужно указывать: «Это список целых чисел и переменных конечной области в (иногда:строго) в порядке возрастания / убывания. "Существ...

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

2 ответа

Pairwise отношение по списку

Следующий предикат высшего порядка успешно выполняется, если все пары элементов списка верны для данного отношения. Есть общее или лучшее, более намеренное раскрытие имени для этого отношения? Моя оригинальная мотивация для этого имени была в ...

2 ответа

Полагаясь на порядок правил

Чтобы рассчитать расстояние Хэмминга между двумя списками одинаковой длины, я используюfoldl(hamm, A, B, 0, R). с этим определениемhamm/4: hamm(A, A, V, V) :- !. hamm(A, B, V0, V1) :- A \= B, V1 is V0 + 1.Разрез в первом правиле предотвращает ...