successor-arithmetics

2зной

1ответ

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

3зной

1ответ

Basic ПРОЛОГ подсчета

Я новичок в Прологе, я пытаюсь написать предикат, который отсчитывает следующее: имя предиката является s2int если дано: s2int (0, Y), то Шоуде «возвращение "Y = 0. s2int (s (0), Y) => Y = 1. s2int (s

1зной

1ответ

Программа Prolog - список чисел Peano - правило возвращает несколько ответов

Я пытаюсь написать программу Prolog с правилом good, который берет список, где каждый термин в списке является числом Peano. Правило должно быть истинным тогда и только тогда, когда каждый элемент в с

1зной

1ответ

Пролога - преобразование SUCC представления в десятичную

Это мой код: numeral(0). numeral(succ(X)) :- numeral(X). convertToD(A,0). convertToD(succ(S), Y) :- numeral(S), Y1 is Y-1, convertToD(S, Y1). Почему это дает мне такой вывод? convertTo(succ(succ

1зной

2ответ

Понимание рекурсивного правила и унификации в прологе

Я начинаю ученик Пролога, следуя «LearnPrologNow!». набор учебных пособий. Я прилагаю все усилия, чтобы понять концепции и словарный запас. Я был в состоянии, чтобы понять все, вплоть до главы 3 на ре

5зной

2ответ

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

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

0зной

1ответ

Пролог получать inifinite цикл при запросе другого решения

Я использую SWI Пролог, следующий код используется в моей домашней работе (код не домашнее задание, но нужно писать методы курса необходимо): nat(0). nat(s(X)) :- nat(X). plus(0,N,N) :- n