Prolog

Assuntos Gerais
#1

blz, pessoal !

Estou tentando definir os números naturais em PROLOG, se alguém puder dar algumas dicas aí …

%Numeros natural recursivo

naturais(0).
naturais(s(N)):- naturais(N).

s(X):- Z is X+1,
	escreve(Z),
	s(Z).

escreve(A):- write(A).

Qualquer dica eh bem vinda… :idea:

#2

Veja a parte em “boolean predicates”:
http://www.lix.polytechnique.fr/~liberti/public/computing/prog/prolog/prolog-tutorial.html

#3

[quote=ViniGodoy]Veja a parte em “boolean predicates”:
http://www.lix.polytechnique.fr/~liberti/public/computing/prog/prolog/prolog-tutorial.html[/quote]

Valews! ViniGodoy, material bacana…

se alguém tiver mais algumas dicas aí…

#4