Incluye bibliografía.

The prolog languaje - Introduction to prolog - Syntax and meaning of prolog programs - Lists, operators, arithmetic - Programming examples - Controlling backtracking - Built-in predicates - Constraint logic programming - Programming style and technique - Operations on data structures - Balanced trees - Prolog in artificial intelligence - Problem-solving as search - Heuristic search and the A*algorithm - Best-first search: minimizing time and space - Problem decomposition and AND/OR graphs - Knowledge representation and expert systems - Probabilistic reasoning with bayesian networks - Planning - Partial order planning and graphplan - Scheduling, simulation and control with CLP - Machine learning - Inductive logic programming - Qualitative reasoning - Languaje processing with grammar ruler - Game playing - Meta-programming.