declarative-programming

2зной

3ответ

Порядок целей (правил) в Правилах Пролога

Я начал изучать Пролог недавно и столкнулся с одной странной проблемой. Здесь вы можете увидеть пример кода (я использую SWI-Prolog 7.2.3), который дает дерево отношений и мое решение из 2 задач. /* F

0зной

1ответ

Пролог, Список списков содержит еще один список точно

То, что я в принципе хочу достичь в том, что данный список списков , я хочу, предикат, который проверяет, является ли элементы списка B являются точно содержатся в перечне A. Так, например: = [[1,2],

-1зной

1ответ

Рассуждая выпуска прологе

foo([], Res). foo([schedule(_, X)|Tail], Res) :- append(Res, X, Res2), foo(Tail, Res2). Ожидаемый результат: X представляет собой список значений, Res, где результат должен быть сохран

4зной

2ответ

Пролог цикла после результатов

Итак, я написал этот предикат, чтобы найти все возможные подмножества + перестановки списка. Я получаю правильный вывод, но по какой-то причине программа продолжает цикл, давая мне все (правильные) ре

13зной

7ответ

Перевод императивной Java на функциональную Java (игра)

Я изучаю намного больше о Java 8 и его функциональных возможностях, и я хотел бы сделать еще несколько практических действий с ним. Скажем, к примеру, у меня есть следующий императивный код, который д

0зной

1ответ

Недостаточно для экземпляра списка (all_distinct, list)

Я не могу запустить этот код, что именно я должен сказать о списке, чтобы разрешить maplist/2 для запуска all_distinct/1? Solution = [A, B, C, D, E, F, G, H, I], Solution ins 1..9, maplist(all_disti

2зной

2ответ

Объединение списков списков в прологе

Я хотел бы выполнить что-то вроде: merge([[[],[],[],[t1]],[[],[],[],[t2,t3]]], X). где X вернется как: [[],[],[],[t1,t2,t3]]. Но я пробовал все свое знание пролога и ничего не придумал. Любые подска