PARA TODA NECESIDAD SIEMPRE HAY UN LIBRO

Imagen de Google Jackets

The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren

Por: Colaborador(es): Tipo de material: TextoTextoSeries 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)
Tema(s): Clasificación LoC:
  • QA76.73.P76 S8384 1994
Contenidos:
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
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
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 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 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 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 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
Total de reservas: 0

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

  • Universidad del Caribe
  • Con tecnología Koha