Monografia
| 10626 | IF.134 |
STERLING, Leon, e outro
The art of PROLOG : advanced programming techniques / Leon Sterling, Ehud Shapiro.- Cambridge : MIT Press, 1986.- XXIV,439p. ; il. ; 23cm
ISBN 0-262-69105-1 : COMPRA
PROLOG, SISTEMA PERICIAL, PROGRAMAÇÃO LOGICA, ESTRUTURAS DE DADOS
Programas logicos. Elementos basicos. Programação de bases de dados. Programação recursiva. O modelo de computação de programas logicos. Teoria de programas logicos. A linguagem Prolog. Prolog puro. Programação em Prolog puro. Aritmetica. Inspecção de estruturas. Predicados meta-logicos. Cortes e negação. Predicados extra-logicos. Pragmatica. Tecnicas de programação avançada Prolog. Programação não determimista. Estruturas de dados incompletas. Analise gramatical com clausulas definitivas. Programação de segunda ordem. Tecnicas de pesquisa. Meta-interpretes. Aplicações. Programas para jogos. Um sistema pericial de avaliação de credito. Um solucionador de equação. Um compilador. Apendices: A - Trabalhar com PROLOG. B - Predicados do sistema. C - Operadores pre-definidos.