Índice. Capítulo 1. Teorías de primer orden. p.13.-- Capítulo 2. Resolución. p.79.-- Capítulo 3. Elementos de programación lógica y prolog. p.119.-- Apéndice A. Definiciones y demostraciones inductivas. p.147.-- Apéndice B. Adecuación de las tablas analíticas. p.157.-- Apéndice C. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden. p.163..