Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
A Grammatical View of Logic Programming (Logic Programming)

Buy

Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.

The authors' approach facilitates discussion of grammatical aspects of, and introduces new kinds of semantics for, definite programs. They survey relevant grammatical formalisms and provide a comprehensive introduction to the well-known attribute grammars and van Wijngaarden grammars. A formal comparison of definite programs to these grammars allows the authors to identify interesting grammatical concepts.

The book also includes a presentation of verification methods for definite programs derived from verification methods for attribute grammars, and an analysis of the occur-check problem as an example of how the grammatical view of logic programming can be applied.

Pierre Deransart is Research Director at INRIA-Rocquencourt, Le Chesnay Cedex, France. Jan Maluszynski is Professor in the Department of Computer and Information Science at Linköping University, Sweden.

Contents: Preliminaries. Foundations. Grammatical Extensions of Logic Programs. Attribute Grammars. Attribute Grammars and Logic Programming. Proof Methods. Study of Declarative Properties. The Occur-check Problem.

(HTML tags aren't allowed.)

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings (Lecture Notes in Computer Science)
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings (Lecture Notes in Computer Science)

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract...

The Primal Kitchen Cookbook: Eat Like Your Life Depends On It!
The Primal Kitchen Cookbook: Eat Like Your Life Depends On It!

Mark Sisson, bestselling author, award-winning blogger, and founder of PRIMAL KITCHEN, teams up with over 50 leading icons in the primal community to amass 130 mouth-watering recipes in this ultimate paleo recipe collection.

Learn how to whip up Primal Kitchen’s uncompromisingly delicious, high quality, nutrient dense sauces...

Computing with Mathematica, Second Edition
Computing with Mathematica, Second Edition
Computing with Mathematica, 2nd edition is engaging and interactive. It is designed to teach readers how to use Mathematica efficiently for solving problems arising in fields such as mathematics, computer science, physics, and engineering. The text moves from simple to complex, often following a specific example on a number of different levels....

Sabiston Textbook of Surgery: Expert Consult: Online and Print, 18e
Sabiston Textbook of Surgery: Expert Consult: Online and Print, 18e

This distinguished reference carries on a 70-year legacy as the world's most thorough, useful, readable, and understandable text on the principles and techniques of surgery. Its peerless contributors deliver all the well-rounded, state-of-the-art knowledge you need to richly grasp the pathophysiology and optimal management of every...

Mobile IPv6: Protocols and Implementation
Mobile IPv6: Protocols and Implementation

Mobile IPv6 has become the key enabling technology for mobile data and multimedia services and devices worldwide (i.e., cellular systems, VoIP handovers over LAN, multi-access network handovers, location privacy, enterprise mobile networking, etc.). 

This book covers the IPv6 host mobility protocol known as "mobile IPv6"...

C Recipes: A Problem-Solution Approach
C Recipes: A Problem-Solution Approach
This book contains good number of C “recipes” for readers at all levels, from beginning to advanced. This book follows a problem-solution approach so that you can quickly find the solution to a desired problem. Every solution comes with suitable code and a brief discussion of that code. An attempt has been...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy