Ho cercato di imparare Prolog e sono totalmente confuso da ciò che fa il predicato(). Lo vedo usato spesso e ci sono così poche risorse su internet su Prolog che non riesco a trovare una risposta. Es.
mi sono imbattuto in questa valutazione numero naturale di numeri logici in un tutorial e mi sta dando un po 'di mal di testa: natural_number(0).
natural_number(s(N)) :- natural_number(N).
La regol
Ho bisogno di creare un predicato Prolog per la potenza di 2, con i numeri naturali. numeri naturali sono: 0, s (0), s (s (0)) ans così via .. Ad esempio: ?- pow2(s(0),P).
P = s(s(0));
false.
?- po