25 Women to Read Before You Die
 
 

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 | August 14, 2015

    Roxanne Dunbar-Ortiz: IMG The Blind Spot of United States History



    The most frequent question readers ask about An Indigenous Peoples' History of the United States is "Why hasn't this book been written before?" I'm... Continue »
    1. $11.20 Sale Trade Paper add to wish list

    spacer

On Order

$65.75
New Trade Paper
Currently out of stock.
Add to Wishlist
available for shipping or prepaid pickup only
Qty Store Section
- Local Warehouse Software Engineering- Programming and Languages

The G?del Programming Language (Logic Programming)

by

The G?del Programming Language (Logic Programming) Cover

 

Synopses & Reviews

Publisher Comments:

Gödel is a new, general-purpose, declarative programming language that is based on the paradigm of logic programming and can be regarded as a successor to Prolog. This book gives a tutorial overview of Gödel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic.The Gödel language supports types and modules. It has a rich collection of system modules and provides constraint solving in several domains. It also offers metalogical facilities that provide significant support for metaprograms that do analysis, transformation, compilation, verification, debugging, and the like. The declarative nature of Gödel makes it well suited for use as a teaching language, narrows the gap that currently exists between theory and practice in logic programming, makes possible advanced software engineering tools such as declarative debuggers and compiler generators, reduces the effort involved in providing a parallel implementation of the language, and offers substantial scope for parallelization in such implementations.Logic Programming series

Product Details

ISBN:
9780262519151
Author:
Hill, Patricia
Publisher:
The MIT Press
Author:
Lloyd, John W.
Location:
Cambridge
Subject:
Programming Languages - General
Subject:
Software Engineering - Programming and Languages
Edition Description:
Trade paper
Series:
Logic Programming The Gödel Programming Language
Publication Date:
19940405
Binding:
Paperback
Grade Level:
from 17
Language:
English
Pages:
368
Dimensions:
9.1 x 7.2 x 1 in 1.45 lb

Related Subjects

Computers and Internet » Software Engineering » Programming and Languages
History and Social Science » Economics » General

The G?del Programming Language (Logic Programming) New Trade Paper
0 stars - 0 reviews
$65.75 Backorder
Product details 368 pages MIT Press (MA) - English 9780262519151 Reviews:
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.