Я начинаю изучать Пролог и впервые узнал о нотации преемника. И здесь я узнаю о написании аксиом Пеано на Прологе. См. стр. 12 документа PDF:sum(0, M, M). sum(s(N), M, s(K)):-
...
Я наткнулся на эту оценку логических чисел натуральными числами в учебнике, и это дало мне некоторую головную боль : натуральное_число (0).
натуральное_число (s (N)): - натуральное_число (N). Примерно правило ...
Мне нужно создать предикат Пролога для степени двойки с натуральными числами.
Натуральные числа: 0, s(0), s(s(0)) и т. д. Например: ?- pow2(s(0),P).
Р = с (с (0));
ложный.
?- pow2(P,s(s(0))).
...
Я пытался изучить Пролог и полностью зашел в тупик, что делает предикат s ().
Я вижу, что он часто используется, и в Интернете так мало ресурсов о Prolog, что я не могу найти ...
РЕДАКТИРОВАТЬ: Решено. Я не знал, что включение языкового расширения в исходном файле не включило языковое расширение в GHCi. Решение было: установить FlexibleContexts в GHCi. Недавно я ...