У меня есть следующие правила % Signature: natural_number(N)/1 % Purpose: N is a natural number. natural_number(0). natural_number(s(X)) :- natural_number(X). ackermann(0, N, s(N)). % rule 1 ackermann(s(M),0,Result):-...

У меня есть этот очень простой код как представление цифр. Проблема в том, что я использую функцию add2. Пример: add2(s(0)+s(s(0)), s(s(0)), Z). возвращает s(s(s(s(s(0))))) правильно. Однако add2(0, s(0)+s(s(0)), Z). всегда returns...

Я читаю книгу «Искусство пролога» и нашел упражнение, которое гласит: «Определите сумму отношения (ListOfIntegers, Sum), которая имеет место, если Sum является суммой ListOfIntegers, без использования какого-либо вспомогательного предиката». Я...

В вопросе, с которым я недавно столкнулся на экзамене по логическому программированию в университете, меня попросили запрограммировать предикат Пролога odd/1 , который определяет, является ли данное значение нечетным. Предполагалось, что...

(Позвольте мне добавить это в волну промежуточных вопросов.) Обычное определение суммы двух натуральных чисел — nat_nat_sum/3 : nat_nat_sum(0, N, N). nat_nat_sum(s(M), N, s(O)) :- nat_nat_sum(M, N, O). Строго говоря, это определение...

У меня проблемы с пониманием того, что происходит в этом примере Изучите Пролог сейчас - Глава 3 - Пример 3: Преемник numeral(0). numeral(succ(X)) :- numeral(X). Когда задается вопрос о числе (X), он сначала даст 0 для X, затем продолжит с...

Я новичок в Прологе и до сих пор привыкаю к ​​его логике. У меня есть задача создать функции, которые превращают натуральное число в "S-число" и наоборот. Таким образом, номер 0 будет 0 . Номер 1 будет s(0) . Номер 2 будет s(s(0)) . И так...

Я пытаюсь понять Пролог, и я попал в следующую ситуацию. Я определил натуральные числа (унарные) следующим образом: n(0). n(s(X)) :- nat(X). Это означает, что 0 равно 0, s (0) равно 1, s (s (0)) равно 2 и т. Д. Затем я определил предикат...