Book Description
This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983.

Developed by David H. D. Warren, the WAM is an abstract (nonphysical) computer that aids in the compilation and implementation of the Prolog programming language and offers techniques for compiling and optimizing symbolic computing that can be generalized beyond Prolog. Although the benefits of the WAM design have been widely accepted, few have been able to penetrate the WAM. This lucid introduction defines separate abstract machines for each conceptually separate part of the design and refines them, finally stitching them together to make a WAM. An index presents all of the critical concepts used in the WAM. It is assumed that readers have a clear understanding of the operational semantics of Prolog, in particular, of unification and backtracking, but a brief summary of the necessary Prolog notions is provided.

Contents: Introduction. Unification -- Pure and Simple. Flat Resolution. Prolog. Optimizing the Design. Conclusion. Appendixes.

add to del.icio.us                 Digg Freebookzone.com!

You may use anyone of the download options

eBook Version	Buy this book from Amazon

Missing Link?, Report It and you may wish to  Buy  this book from amazon



Similar Book titles in CS -> Compilers and Languages section:
Implementing Functional Languages: A Tutorial


Similar Book titles in Other sections:

Section: Bio-Chemistry
EMBnet Biocomputing Tutorials


Section: CS -> Hardware
Computer Architecture Tutorial
Advanced Computer Architecture Tutorials


Section: CS -> Theory
Visual Reconstruction


Section: DB -> Postgre SQL
PostgreSQL Tutorial


Section: Device Drivers
Writing Device Drivers: Tutorial


Section: Microprocessor
AVR Tutorial
An Assembly Language Tutorial for the Model 100


Section: Advanced Java
Java Design Pattern: A Tutorial
The Advanced Java/J2EE Tutorial


Section: Java Enterprise Edition
The J2EE(TM) 1.4 Tutorial
Servlets and JavaServer Pages (JSP): A Tutorial
The Java Web Services Tutorial
The J2EE Tutorial
Tutorial For Building j2Ee Applications Using Jboss And Eclipse
Show all..


Section: Java User Interface
Swing: A Quick Tutorial for AWT Programmers
Java 3D API Tutorial
Java 2D: An Introduction and Tutorial


Section: Java Language
Brewing Java: A Tutorial
JDK 1.4 Tutorial
The Java Tutorial


Section: Java Networking
Java Message Service (JMS) Tutorial
JNDI API Tutorial and Reference


Section: Mathematics
Vector Math for 3D Computer Graphics - An Interactive Tutorial
Algebra: Abstract And Concrete
Elements of Abstract and Linear Algebra
Applied Abstract Algebra
Abstract Algebra: The Basic Graduate Year
Show all..


Section: Miscellaneous
A Genetic Algorithm Tutorial


Section: Microsoft C Sharp (C#)
C# Tutorial


Section: MS Web Technologies
Active Server Pages Tutorial


Section: Networking
ISDN Tutorial
TCP/IP and IPX routing Tutorial
PVM: Parallel Virtual Machine: A Users' Guide and Tutorial for Network Parallel Computing


Section: GNU/Linux OS
XEmacs Tutorial
GTK+ 2.0 Tutorial
Xlib programming: a short tutorial
LINUX: Rute User's Tutorial and Exposition
Iptables Tutorial 1.2.2 - Linux Firewall Configuration
Show all..


Section: OS Theory
Operating System Tutorials


Section: Unix OS
SCO Operating System Tutorial


Section: Assembly Language
Tutorial 80x86/87 Assembly Language


Section: C Language
C Programming Tutorial (K&R version 4)
Programming in C: A Tutorial
A Tutorial On Pointers And Arrays In C
C Programming Tutorial
The GNU C Programming Tutorial
Show all..


Section: COBOL Programming
Cobol Tutorial
COBOL Lectures and Tutorials


Section: C++ Language
An Introductory STL tutorial
C++ Language Tutorial
C++ Programming Tutorial
C++ tutorial for C users
C++ Tutorials
Show all..


Section: Other Programming
Ada 95 Tutorial
An Eiffel Tutorial
Fortran 77 Tutorial
Fortran 90 Tutorial
Pascal Language Tutorial
Show all..


Section: Perl Scripting
Perl Tutorial


Section: Ruby Programming
RubyCHannel Tutorial
Qt Tutorial #1/#2 - The 14 Steps
Ruby/Tk Tutorial
Ruby on Rails Tutorial


Section: Scripting
Python Tutorial
Non-Programmers Tutorial For Python
Concrete Abstractions: An Introduction to Computer Science Using Scheme


Section: Smalltalk
Smalltalk/V Mac Tutorial and Programming Handbook


Section: Redbooks Draft
TCP/IP Tutorial and Technical Overview


Section: Redbooks
TCP/IP Tutorial and Technical Overview


Section: Web Programming
PHP & MySQL Tutorial
Active Server Pages (ASP) Tutorial
Advanced JavaScript Tutorial
JScript 5.x Tutorial
Active Server Pages Tutorial
Show all..


Section: XML, XSL & UML
XML Schema Tutorial
XML Tutorial
XSLT & XPath Tutorial
Groud Zero XML Tutorial
Softsteel Wireless Markup Language (WML) Tutorial
Show all..


Similar Books from Amazon :