Я в настоящее время работаю над очень коротким проектом на Прологе и просто застрял, пытаясь применить "фильтр", который я создал к списку. Я имею то, что Вы могли назвать фильтр готовым, но я не могу применить его. Это было бы...
Вопрос: Как мы можем избавиться от накладных расходов на maplist - например, SWI apply_macros - в SICStus Prolog? A: Расширение цели. Сначала мы определим вспомогательные предикаты, которые нам понадобятся. В следующем мы используем ...
Как вы пишете карту процедуры Пролога (List, PredName, Result), которая применяет предикат PredName (Arg, Res) к элементам List и возвращает результат в списке Result? Например: test (N, ...
Итак, оператор univ. Я не совсем понимаю. Например, такой: foo (PredList, [H | _]): - bar (PredList, H).
foo (PredList, [_ | T]): - foo (PredList, T),!. bar ([H | _], Item): - G = .. [H, Item], G.
bar ([_ | ...