Items related to Logic Programming and PROLOG
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.
"synopsis" may belong to another edition of this title.
- PublisherJohn Wiley & Sons Ltd
- Publication date1995
- ISBN 10 0471959960
- ISBN 13 9780471959960
- BindingPaperback
- LanguageEnglish
- Edition number2
- Number of pages364
Search results for Logic Programming and PROLOG
Stock Image
Logic, Programming and Prolog
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # M00471959960-G
Quantity: 1 available
Stock Image
Logic, Programming and Prolog
Seller: Zoom Books Company, Lynden, WA, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ZBV.0471959960.G
Quantity: 1 available