Introdução a PROLOG

Eis uma introdução a prolog:
http://www.kuro5hin.org/story/2004/2/25/124713/784

Não conhecia a linguagem (só tinha ouvido falar), mas aparentemente
aquilo é uma espécie de lisp-cut down. Tb parece possuir algum conceito
de 'term's, mas não tão potente. O conceito de 'term's é ter uma ou mais
definições para uma dada função. O cálculo dessa função faz-se
reescrevendo os termos com base nos originais até resolver. Isto é
genérico, mas aplica-se sobretudo em matemática. Uma linguagem (muito
interessante) que implementa isto é a "q": http://q-lang.sourceforge.net/

Voltando ao artigo, dos comentários destaco os dois seguintes links:

    * http://pauillac.inria.fr/~deransar/prolog/docs.html -- documentos
      sobre Prolog standard
    * http://www.coli.uni-sb.de/~kris/learn-prolog-now/ -- livro
      disponível electronicamente de Prolog

-- 
carlos