failure-slice

1зной

1ответ

Эй, ребята, у меня довольно простой вопрос о Prolog. %on(Block,Object). % clear(Object). block(b1). block(b2). block(b3). place(p1). place(p2). place(p3). place(p4). state1([clear(p2),clear(

2зной

2ответ

Пролог: реализовать алгоритм Луна с эффективностью

Я пытаюсь применить алгоритм Луна в SWI-Prolog. Но у меня проблемы с запуском. Когда я тестирую несколько простых чисел, например, 123, результат получается быстро. Если я тестирую более длинный номер

2зной

1ответ

Увольнения на предикат

У меня есть программа о графике с черными и белыми вершинами: black(root). black(v1). black(v3). black(v4). edge(root,root). edge(v1,root). edge(v2,v1). edge(v3,v1). edge(v4,v3). edge(v5,v2)

3зной

1ответ

генерировать ряд целых чисел - "из локального стека" [начинающий]

gen(N,R): R это значение от 0 до N-1, в порядке. N non-zero positive int. N всегда будет предоставлен. Например: ?- genN(2,R). дает R=0;R=1. я реализовал, как это, но у него есть «из локальной статиче

2зной

2ответ

SWI-Prolog: «false» где?

Обычно, когда цель терпит неудачу, я возвращаюсь «ложно», т. Е. Цель не была удовлетворена. Есть ли способ сделать SWI-Prolog для печати предиката, строки и/или порядкового номера подцели, где это не

1зной

1ответ

Пролог: на каких условиях t завершает оценку цели p (t), а что нет?

Рассмотрим следующую логическую программу: p(b) :- p(b). p(X) :- r(b). p(a) :- p(a). r(Y). Для того, что условия т делает оценку цели р (т) обрываются, который делает это не?

4зной

2ответ

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

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