The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren
Tipo de material:
TextoSeries Detalles de publicación: Cambridge, Mass. : MIT Press, c1994Edición: 2nd edDescripción: xxxix, 509 p. : il. ; 24 cmISBN: - 9780262193382 (hardcover : alk. paper)
- 9780262691635 (paperback)
- QA76.73.P76 S8384 1994
| Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | |
|---|---|---|---|---|---|---|---|---|---|---|---|
Libros para consulta en sala
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | COLECCIÓN RESERVA | QA76.73.P76 S8384 1994 (Navegar estantería(Abre debajo)) | 1 | No para préstamo | Ing. Telematica | 012865 | |||
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | QA76.73.P76 S8384 1994 (Navegar estantería(Abre debajo)) | 2 | Disponible | Ing. Telematica | 012866 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | QA76.73.P76 S8384 1994 (Navegar estantería(Abre debajo)) | 3 | Disponible | Ing. Telematica | 019656 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | QA76.73.P76 S8384 1994 (Navegar estantería(Abre debajo)) | 4 | Disponible | Ing. Telematica | 019657 |
Incluye bibliografía: p. [483]-495
Logic Programs - Basic Constructs - Database Programming - Recursive Programming - The Computation Model of Logic Programs - Theory of Logic Programs - The Prol Language - Pure Prolog - Programming in Pure Prolog - Arithmetic - Structure Inspection - Meta-Logical Predicates - Cuts and Negation - Extra-Logical Predicates - Program Development - Advanced Prolog Programming Techniques - Nondeterministi Programming - Incomplete Data Structures - Second-Order Programming - Interpreters - Program Transformation - Logic Grammars - Search Techniques - Applications - Game-Playing Programs - A credit Evaluation Expert System - An Equation Solver - A Compiler
Fondos de la Universidad Compra 090909 860.00
