Arquivo Discussoes de Programacao e Tecnologia 
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:
Veja a parte em “boolean predicates”:
http://www.lix.polytechnique.fr/~liberti/public/computing/prog/prolog/prolog-tutorial.html
Veja a parte em “boolean predicates”:
http://www.lix.polytechnique.fr/~liberti/public/computing/prog/prolog/prolog-tutorial.html
Valews! ViniGodoy, material bacana…
se alguém tiver mais algumas dicas aí…