failure-slice

2зной

3ответ

Договор о домене Prolog: Как я могу узнать, какие вопросы вернут конечное число ответов?

Скажем, у меня есть пролог программа для объединения списков, как это: concat([],X,X). concat([Head|Tail],X,[Head|R]) :- concat(Tail,X,R). Как я могу знать, какие вопросы будут возвращать конечное

2зной

1ответ

Является ли эта программа пролома переполнением стека просто из-за ее сложности - или потому, что это неправильно?

В previous post я в конце концов понял, как написать программу gprolog, которая проверяет, является ли один список перестановкой другой. Насколько я знаю, это работает. Теперь я создаю mysort предикат

3зной

2ответ

Преобразование предложения создает бесконечный цикл - но как?

Я не могу понять, где это происходит. Обратите внимание, что я очень новичок в Prolog, и я уверен, что у меня что-то не хватает - просто не знаю, что это может быть. Может ли кто-нибудь помочь мне, по

5зной

1ответ

Особенности хорошего кода Пролога?

Какова эвристика дизайна, которую нужно освоить, чтобы написать хороший Пролог? Я слышал, что опытному программисту требуется около двух лет, чтобы овладеть Prolog. Использование рекурсии эффективно я

3зной

2ответ

Бесконечное дерево успеха или нет?

Я дал следующую программу: edge(a,b). edge(b,c). edge(a,d). path(N,M):- path(N,New),edge(New,M). path(N,M):- edge(N,M). И спросил, если при применении алгоритма доказательства дерева к следующе

3зной

3ответ

Как найти факты, которые не имеют вклада в цель

Я пытаюсь написать программу, которая может проверить, может ли программа-ученик выполнить определенную цель или нет. Я могу сделать эту часть. Теперь я хочу проверить, действительно ли программа-учен

4зной

2ответ

Почему пролог разбился в этом простом примере?

likes(tom,jerry). likes(mary,john). likes(mary,mary). likes(tom,mouse). likes(jerry,jerry). likes(jerry,cheese). likes(mary,fruit). likes(john,book). likes(mary,book). likes(tom,john). like

5зной

2ответ

Пролог-предикат - бесконечный цикл

Мне нужно создать предикат Пролога для мощности 2, с натуральными числами. натуральные числа: 0, s (0), s (s (0)) анс так далее .. Например: ?- pow2(s(0),P). P = s(s(0)); false. ?- pow2(P,s(s(0))).