RE: [tecpt] Introdução a PROLOG

> Não conhecia a linguagem (só tinha ouvido falar), mas aparentemente
> aquilo é uma espécie de lisp-cut down.

Não é bem, é lógica de 1ª ordem, LISP é funcional. Se bem que nalgumas
coisas são parecidos.

> 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.

Se percebi o que te referes é o conceito matemático de regras de reescrita.
O Prolog tem um sistema semelhante, é um modelo tipo axiomático muito
utilizado. Ùtil para gramáticas e merdas afins.
O Mathematica tem uma linguagem poderosíssima que faz isto.
 
Fiquem bem!
Received on Fri Feb 27 14:12:49 2004