Результаты поиска по запросу "non-termination"
Запись преемника Пролог дает неполный результат и бесконечный цикл
Я начал изучать Пролог и впервые узнал о записи преемника. И здесь я узнаю о написании аксиом Пеано в Прологе. Смотрите страницу 12PDF:
Предикат Пролог - бесконечный цикл
Мне нужно создать предикат Пролога для степени 2 с натуральными числами. Натуральные числа: 0, s (0), s (s (0)) и т. Д. Например: ?- pow2(s(0),P). P = s(s(0)); false. ?- pow2(P,s(s(0))). P = s(0); false.Это мой код: times2(X,Y) :- add(X,X,Y). ...