Magnificent Marvel Supersale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | March 11, 2015

    Mark Adams: IMG All Signs Point to Atlantis



    When I tell people I've spent the last three years working on a book about Atlantis, they usually have two questions. The first almost always goes... Continue »

    spacer
Qualifying orders ship free.
$45.75
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Programming and Languages

A Grammatical View of Logic Programming

by

A Grammatical View of Logic Programming Cover

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

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.

Product Details

ISBN:
9780262514446
Author:
Deransart, Pierre
Publisher:
Mit Press
Author:
Jan Maluszy ski
Author:
Maluszynski, Jan
Author:
Maluszy ski, Jan
Location:
Cambridge
Subject:
Programming - General
Subject:
Computer Science
Subject:
Software Engineering - Programming and Languages
Edition Description:
Trade paper
Series:
Logic Programming A Grammatical View of Logic Programming
Publication Date:
20030131
Binding:
TRADE PAPER
Grade Level:
from 17
Language:
English
Pages:
486
Dimensions:
9.1 x 6.1 x 1.3 in

Related Subjects

Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
Computers and Internet » Software Engineering » Programming and Languages

A Grammatical View of Logic Programming New Trade Paper
0 stars - 0 reviews
$45.75 In Stock
Product details 486 pages MIT Press (MA) - English 9780262514446 Reviews:
"Synopsis" by , 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.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.