natknąłem tej naturalnej oceny liczby numerów logicznych w samouczku i to już daje mi ból głowy: natural_number(0).
natural_number(s(N)) :- natural_number(N).
Reguła grubsza stwierdza, że: jeśli N
EDYCJA: Rozwiązany. Nie wiedziałem, że włączenie rozszerzenia językowego w pliku źródłowym nie umożliwiło rozszerzenia języka w GHCi. Rozwiązaniem było :set FlexibleContexts w GHCi. Niedawno odkryłem,
Potrzebuję stworzyć predykat Prologu dla potęgi 2, z liczbami naturalnymi. liczb naturalnych są: 0, S (0), s (s (0)) ans tak dalej .. Na przykład: ?- pow2(s(0),P).
P = s(s(0));
false.
?- pow2(P,s(s