Académique Documents
Professionnel Documents
Culture Documents
programao
Esta a abordagem da programao que faz forte uso da lgica matemtica para
a resoluo de problemas, geralmente por meio de valores ou objetos e relaes entre os
mesmos, formulando-se assim proposies e regras.
Duas linguagens de programao foram fundamentais para este paradigma,
criando-se a partir delas duas famlias de linguagens lgicas: Planner e Prolog.
Dentre as linguagens de programao derivadas de Planner, podemos destacar
QA-4, Popler, Conniver e QLisp.
J dentre as linguagens de programao derivadas de Prolog, podemos apontar
Mercury, Visual Prolog, Oz e Frill.
Vantagem: muito teis em problemas que possam ser resolvidos por meio de
deduo ou inferncia.
Desvantagem: pode haver exploso combinatorial da base de conhecimento
levando a grande desperdcio de recursos computacionais.