successor-arithmetics

2зной

2ответ

Learn Prolog теперь - проблемы с возвратом в упражнении на рекурсии

Я возникли проблемы понимания того, что происходит в этом примере Learn Prolog Now - Chapter 3 - Пример 3: Преемник numeral(0). numeral(succ(X)) :- numeral(X). Когда сомнение числительное (X) , он

1зной

1ответ

Как использовать функцию-преемник дополнительно для более двух входных данных?

здесь код добавления для двух входных данных (например, мы хотим получить результат в Z, если X + 1 плюс Y имеют Z + 1 для результата). natural_number(0). natural_number(s(X)) :- natural_number(X

0зной

1ответ

Пролог, проверка делимости в арифметике Peano

Мне нужно проверить, если первый заданный термин (например, s(s(nul)) (или 2)) является делимым на второй член (например, s(nul) (или 1)). Что я хочу сделать, это умножить заданный термин на два, а за

0зной

1ответ

Пролог рекурсивной

я получил следующую базу знаний, которая, как предполагается, чтобы добавить два аргумента и дают результаты: add(0,X,X). add(succ(X),Y,succ(R)):- add(X,Y,R). Теперь это мой запрос: ?- add(succ(suc

2зной

2ответ

DCG удвоение счета

Я играю с DCG, и у меня есть этот код. Это отображает x номер 0 s и x номера A s. y --> test(Count), as(Count). test(0) --> []. test(succ(0)) --> [0]. test(succ(succ(Count))) --> [0], test(Count),

0зной

1ответ

Преемник Арифметический Пролог Функция мод

Как написать mod/3 Функция для преемник арифметики (числа Пеано) в прологе?

3зной

1ответ

Как переписать «+ 1» (плюс один) в «S» (succ) в Coq?

У меня есть следующая лемма с неполным доказательства: Lemma (s_is_plus_one : forall n:nat, S n = n + 1). Proof. intros. reflexivity. Qed. Это доказательство терпит неудачу с Unable to u