Seller
Your price
£59.50
Out of Stock

The Implementation of Prolog

Princeton Series in Computer Science

Format: Hardback
Publisher: Princeton University Press, New Jersey, United States
Published: 24th Nov 1993
Dimensions: w 160mm h 243mm d 25mm
Weight: 657g
ISBN-10: 0691087571
ISBN-13: 9780691087573
Barcode No: 9780691087573
Synopsis
A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive experience in Prolog implementation to describe for students of all levels the concepts, difficulties, and design limits of a Prolog system.Boizumault introduces the specific problems posed by the implementation of Prolog, studies and compares different solutions--notably those of the schools of Marseilles and Edinburgh--and concludes with three examples of implementation. Major points of interest include identifying the important differences in implementing unification and resolution; presenting three features of Prolog II--infinite trees, dif, and freeze--that introduce constraints; thoroughly describing Warren's Abstract Machine (WAM); and detailing a Lisp imple-mentation of Prolog.

New & Used

Seller Information Condition Price
-New
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now