Essentials of Logic Programming

Description

Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises.

Get the book

Amazon.com

Search the book

eBay.com

Search the book

Similar books

• 

  Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

  By Manuel Hermenegildo, Jaan Penjam

  Where Touati and Hama still wish to retain properties such as memory recovery on backtracking , we take a more radical approach : ease of garbage collection is more important than recovering memory on backtracking .

• 

  Essential Logic for Computer Science

  By Rex Page, Ruben Gamboa

  This book offers a more substantive and rigorous approach to logic that focuses on applications in computer science.

• 

  Plc Programming Using Rslogix 500: A Practical Guide to Ladder Logic and the Rslogix 500 Environment

  By Nathan Clark

  ★ Design and Build a Program in RSLogix 500 from Scratch! ★ This book is an introduction to ladder logic programming and will guide you through your very first steps in the RSLogix 500 environment.

• 

  Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

  By Zhe Hou

  By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity.

• 

  Essentials of Constraint Programming

  By Thom Frühwirth, Slim Abdennadher

  This book is a short, concise, and complete presentation of constraint programming and reasoning, covering theoretical foundations, algorithms, implementations, examples, and applications.

• 

  Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings

  By Ross King, Rui Camacho, Ashwin Srinivasan

  Essentials of Logic Programming. Oxford University Press, 1990. 14. S.-H. Nienhuys-Cheng and R. de Wolf. Foundations of Inductive Logic Programming, volume 1228 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1997. 15.

• 

  Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers

  By Paolo Frasconi, Francesca A. Lisi

  ... C.J.: Essentials of logic programming. Oxford University Press, New York (1990) 4. Heras, F., Larrosa, J., Oliveras, A.: MINIMAXSAT: an efficient weighted max-SAT solver. Journal of Artificial Intelligence Research 31(1), ...

• 

  An Introduction to Logic Programming Through Prolog

  By J. M. Spivey

  This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of...

• 

  Introduction to Logic Programming

  By Michael Michael Genesereth, Vinay K. Vinay K. Chaudhri

  This book introduces Logic Programming theory, current technology, and popular applications. In this volume, we take an innovative, model-theoretic approach to logic programming.

• 

  Programming with Higher-Order Logic

  By Dale Miller, Gopalan Nadathur

  This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal.