Monografia
| 10654 | II.22 |
LLOYD, J. W.
Foundations of logic programming / J. W. Lloyd.- 2.ed.alargada.- Berlin : Springer-Verlag, 1987.- X,212p. ; il. ; 25cm. - (Symbolic Computation)
ISBN 3-540-13299-7 : COMPRA
PROGRAMAÇÃO LOGICA, PROLOG, INTELIGENCIA ARTIFICIAL
Teorias de primeira ordem. Interpretações e modelos. Unificação. Pontos fixos. Problemas. Programas definitivos. Semantica declarativa. Capacidade da Resolução - SLD. Perfeição da Resolução - SLD. Independencia da regra de computação. Procedimentos da refutação - SLD. Cortes. Problemas. Programas normais. Informação negativa. Avaria finita. Programar com o Acabamento. Capacidade da Resolução- SLDNF. Perfeição da Resolução - SLDNF. Problemas. Introdução aos programas. Resolução - SLDNF para programas. Diagnostico de erro declarativo. Capacidade e perfeição do diagnosticador. Problemas. Introdução as bases de dados dedutivas. Capacidade da avaliação de interrogação. Problemas. Processos continuos. Interpretações Herbrand completas. Propriedades do "T'P". Semantica dos processos continuos. Problemas.