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 r�f. du vendeur ZBV.0471959960.G

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Logic, Programming and Prolog
�diteur: Wiley
Date de parution: 1995
Langue: anglais
ISBN � 10 chiffres: 0471959960
ISBN � 13 chiffres: 9780471959960
Reliure: Couverture souple
�dition: 2�me �dition
�tat de l'article: good

A propos de ce titre

Synopsis

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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Zoom Books Company operates as an online book store striving to provide top tier customer service. We respond to all inquiries and resolve any complaints in a timely manner. Thank you for shopping with us!