2
ответа
Программа пролога для нахождения равенства двух списков в любом порядке
Я хотел записать программу Пролога для нахождения равенства двух списков, где порядок элементов не имеет значения. Таким образом, я записал следующее: del (_, [], []). del (X, [X|T], T). del (X, [H|T], [H|T1]):-...
вопрос задан: 31 January 2019 20:08
0
ответов
Нотация преемника Пролога дает неполный результат и бесконечный цикл
Я начинаю изучать Пролог и впервые узнал о нотации преемника. И здесь я узнаю о написании аксиом Пеано на Прологе. См. стр. 12 документа PDF:sum(0, M, M). sum(s(N), M, s(K)):-
...
вопрос задан: 21 March 2016 20:34
0
ответов
Почему мой предикат в Prolog Fib/2 всегда говорит «вне локального стека»?
Я написал предикат fib/2 для вычисления чисел Фибоначчи на Прологе. Хотя он работает, он всегда говорит «вне локального стека», и ошибка выглядит как :? -фиб (10, F ). Ф = 55; ОШИБКА :Не по месту...
вопрос задан: 1 December 2014 20:27
0
ответов
Предикат Пролога - бесконечный цикл
Мне нужно создать предикат Пролога для степени двойки с натуральными числами.
Натуральные числа: 0, s(0), s(s(0)) и т. д. Например: ?- pow2(s(0),P).
Р = с (с (0));
ложный.
?- pow2(P,s(s(0))).
...
вопрос задан: 1 June 2014 23:35
0
ответов
Почему эта команда вызывает переполнение стека в прологе?
У меня есть следующий фрагмент кода пролога: num (0).
num (X): - num (X1), X равно X1 + 1. fact (0,1): - !.
fact (X, Y): - X1 - это X-1, fact (X1, Y1),!, Y - это Y1 * X. fact (X): - num (Y), fact (Y, X). Может кто-нибудь ...
вопрос задан: 15 November 2012 11:48