0
ответов
Нотация преемника Пролога дает неполный результат и бесконечный цикл
Я начинаю изучать Пролог и впервые узнал о нотации преемника. И здесь я узнаю о написании аксиом Пеано на Прологе. См. стр. 12 документа PDF:sum(0, M, M). sum(s(N), M, s(K)):-
...
вопрос задан: 21 March 2016 20:34
0
ответов
Преобразование числа Пеано s (N) в целое в Прологе
Я наткнулся на эту оценку логических чисел натуральными числами в учебнике, и это дало мне некоторую головную боль : натуральное_число (0).
натуральное_число (s (N)): - натуральное_число (N). Примерно правило ...
вопрос задан: 4 June 2015 00:32
0
ответов
Предикат Пролога - бесконечный цикл
Мне нужно создать предикат Пролога для степени двойки с натуральными числами.
Натуральные числа: 0, s(0), s(s(0)) и т. д. Например: ?- pow2(s(0),P).
Р = с (с (0));
ложный.
?- pow2(P,s(s(0))).
...
вопрос задан: 1 June 2014 23:35
0
ответов
Что делает предикат s () в Прологе?
Я пытался изучить Пролог и полностью зашел в тупик, что делает предикат s ().
Я вижу, что он часто используется, и в Интернете так мало ресурсов о Prolog, что я не могу найти ...
вопрос задан: 2 February 2014 23:21
0
ответов
Создать экземпляр переменной типа в Haskell
РЕДАКТИРОВАТЬ: Решено. Я не знал, что включение языкового расширения в исходном файле не включило языковое расширение в GHCi. Решение было: установить FlexibleContexts в GHCi. Недавно я ...
вопрос задан: 28 July 2012 19:27