TY - BOOK AU - Bratko, Ivan TI - Prolog programming for artificial intelligence SN - No identificado U1 - 006.3 PY - 1986/// CY - Harlow PB - Pearson KW - Lenguajes de programación (Computadores electrónicos) KW - Inteligencia artificial N1 - 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. ER -