Artículos relacionados a Logic Programming and PROLOG
Sinopsis
The use of logic as the basis for program development is motivated by the possibilities it offers for achieving greater program correctness. PROLOG is a high-level programming language based on the concept of logic. This text offers a concise treatment of the theory of logic programming and a practical, problem-solving approach to its applications. It introduces major new developments in a continually evolving field, including topics such as concurrency, equational logic programming and constraint logic programming. The text has been revised to include a chapter on the negation problem, normal logic programs, completion semantics and SLDNF - resolution for Stratified Programs and Non-stratified Programs. Additional changes can be found within chapter 14, with its new focus on constraints; constraint domains and concurrent constraint programming.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The use of logic as the basis for program development is motivated by the possibilities it offers for achieving greater program correctness. PROLOG is a high-level programming language based on the concept of logic. This text offers a concise treatment of the theory of logic programming and a practical, problem-solving approach to its applications. It introduces major new developments in a continually evolving field, including topics such as concurrency, equational logic programming and constraint logic programming. The text has been revised to include a chapter on the negation problem, normal logic programs, completion semantics and SLDNF - resolution for Stratified Programs and Non-stratified Programs. Additional changes can be found within chapter 14, with its new focus on constraints; constraint domains and concurrent constraint programming.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialJohn Wiley & Sons Ltd
- Año de publicación1995
- ISBN 10 0471959960
- ISBN 13 9780471959960
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas364
- Contacto del fabricanteno disponible
Resultados de la búsqueda para Logic Programming and PROLOG
Imagen de archivo
Logic, Programming and Prolog
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Nº de ref. del artículo: M00471959960-G
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic, Programming and Prolog
Librería: Zoom Books Company, Lynden, WA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Nº de ref. del artículo: ZBV.0471959960.G
Cantidad disponible: 1 disponibles