Вопросы с тегом 'non-termination'

Количество результатов: 7

0 голосов
1 ответ
Почему я получаю сообщение об ошибке превышен пределом стеки при определении предиката, которые преобразуют отношение двух атомов?

Я хочу знать, почему программа переходит в бесконечной рекурсии в этих случаях: ?- love(kay, amanda). а также ?- love(rob, amanda). А вот код: love(amanda, ka...

1 голос
2 ответа
Пролог не прекращается после того, как цель изменения порядка

Я сейчас работаю через Learn примеры Пролог сейчас и для одного упражнение У меня есть КБ, который работает из локального стека, если я просто крошечное изменение в од...

2 голоса
1 ответ
Пролог: избыточные точки программы в провале-срезе?

Мы реализуем диагностические средства для объяснения неожиданного универсального незавершения в чистых, монотонном Прологе программах на основе на концепции отказ срез...

2 голоса
0 ответов
Детектирование несколько петель в целях Пролога, которые не оканчиваются универсально

TL; ДР: Этот вопрос об одном конкретном аспекте оценки кандидатов на провал-срезов. Следующий код ancestor_of/2 выражает транзитивное закрытие из child_of/2: ancest...

2 голоса
1 ответ
Подскажите не возвращается

Я пытаюсь выполнить некоторое упражнение - представить числа в «представлении», что означает, что «0» равно нулю, s (0) равно 1, s (s (0)) равно 2 и так далее. Я попыт...

1 голос
0 ответов
DrawImage никогда не возвращается

Мои коллеги и я столкнулись с явной ошибкой в ​​классе C# Graphics. В нашем приложении мы со временем обновляем растровое изображение, рисуя поверх него новые вещи. Мы...

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

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

Ошибка 505

Что-то пошло не так

Попробуйте воспользоваться поиском