This is the International Mystery Sale
 
 

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 | April 6, 2015

    Mary Norris: IMG Voracious



    In the summer of 2012, I got a contract for a book about language, based on my experiences of more than 30 years as a copy editor at The New Yorker.... Continue »
    1. $17.47 Sale Hardcover add to wish list

    spacer

On Order

$104.25
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

Logic Programming: The 12th International Conference

by

Logic Programming: The 12th International Conference Cover

 

Synopses & Reviews

Publisher Comments:

13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes

Synopsis:

Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.

Synopsis:

"Logic Programming series," Research Reports and Notes

About the Author

Leon S. Sterling is Director of eResearch and Chair of Software Innovation and Engineering at the University of Melbourne. He is the coauthor of The Art of Prolog (second edition, MIT Press, 1994) and the editor of The Practice of Prolog (MIT Press, 1990).

Product Details

ISBN:
9780262691772
Editor:
Sterling, Leon S.
Publisher:
MIT Press (MA)
Editor:
Sterling, Leon S.
Author:
Sterling, Leon
Author:
Sterling, Leon S.
Location:
Cambridge
Subject:
Programming - General
Subject:
Technology
Subject:
Logic programming
Subject:
Artificial Intelligence - General
Subject:
Artificial Intelligence
Subject:
Intelligence (AI) & Semantics
Subject:
Software Engineering - Programming and Languages
Edition Description:
Trade paper
Series:
Logic Programming Logic Programming
Publication Date:
19950631
Binding:
TRADE PAPER
Grade Level:
from 17
Language:
English
Pages:
854
Dimensions:
8.9 x 7 x 2.1 in

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » Programming and Languages

Logic Programming: The 12th International Conference New Trade Paper
0 stars - 0 reviews
$104.25 Backorder
Product details 854 pages MIT Press - English 9780262691772 Reviews:
"Synopsis" by , Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.
"Synopsis" by , "Logic Programming series," Research Reports and Notes
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.