3
ответа

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

Я в настоящее время работаю над очень коротким проектом на Прологе и просто застрял, пытаясь применить "фильтр", который я создал к списку. Я имею то, что Вы могли назвать фильтр готовым, но я не могу применить его. Это было бы...
вопрос задан: 5 February 2015 13:49
0
ответов

Расширение цели тестирования мета-предиката maplist

Вопрос: Как мы можем избавиться от накладных расходов на maplist - например, SWI apply_macros - в SICStus Prolog? A: Расширение цели. Сначала мы определим вспомогательные предикаты, которые нам понадобятся. В следующем мы используем ...
вопрос задан: 27 February 2019 22:32
0
ответов

Процедура карты пролога, которая применяет предикат к элементам списка

Как вы пишете карту процедуры Пролога (List, PredName, Result), которая применяет предикат PredName (Arg, Res) к элементам List и возвращает результат в списке Result? Например: test (N, ...
вопрос задан: 25 September 2015 21:02
0
ответов

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

Итак, оператор univ. Я не совсем понимаю. Например, такой: foo (PredList, [H | _]): - bar (PredList, H). foo (PredList, [_ | T]): - foo (PredList, T),!. bar ([H | _], Item): - G = .. [H, Item], G. bar ([_ | ...
вопрос задан: 5 July 2014 20:41