Результаты поиска по запросу "successor-arithmetics"
Слишком много отступлений: почему здесь «повтор»?
Я делаю очень простое упражнение в Прологе, и в этом есть что-то, чего я не понимаю. Программа «больше, чем» (
Обратимое отношение длины дерева
Я пытаюсь написать обратимые отношения в "чистом" Прологе (нетis, вырезать или аналогичные вещи. Да, это домашнее задание), и я должен признать, что понятия не имею, как. Я не вижу никакого процесса, чтобы создать такую вещь. Нам даны ...
Том, можете ли вы быть более точным в предоставленном вами фрагменте? У меня сложилось впечатление, что это очень неточно. В первом правиле вашего второго фрагмента есть A, B, а также a, b. Это то, что в вашем коде? У вас действительно есть natural_number (0) в первом правиле или у вас есть s (0)?
я следующая процедура для натурального числа - это SWI-пролог: natural_number(0). natural_number(s(X)) :- natural_number(X).Теперь я хочу сделать рекурсивный вызов, который остановится, когда мы прибудем в 0. Мое натуральное число представлено ...
Предикат Пролог - бесконечный цикл
Мне нужно создать предикат Пролога для степени 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). ...
Запись преемника Пролог дает неполный результат и бесконечный цикл
Я начал изучать Пролог и впервые узнал о записи преемника. И здесь я узнаю о написании аксиом Пеано в Прологе. Смотрите страницу 12PDF:
Каковы оптимальные зеленые срезы для суммы арифметики преемника?
Чтобы получить зеленые сокращения в Прологе, я пытаюсь добавить их к стандартному определению суммы в арифметике преемника (см. Предикатplus вЧто такое дерево SLD для этого запроса? [https://stackoverflow.com/questions/13162803]). Идея состоит в ...