Warren''s Abstract Machine - A Tutorial Reconstruction

This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM.

List of contents

Unification - pure and simple; flat resolution; Prolog; optimizing the design; conclusion. Appendices.

About the author

Hassan Ait-Kaci is Member of Research Staff, Digital Equipment Corporation, Paris Research Laboratory.

Summary

This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM.

Product details

• Authors: Hassan Aat-Kaci, Hassan Ait-Kaci, Hassan At-Kaci
• Publisher: The MIT Press
• Languages: English
• Product format: Paperback / Softback
• Released: 12.08.1991
• EAN: 9780262510585
• ISBN: 978-0-262-51058-5
• No. of pages: 114
• Series: Logic Programming; Warren's Abstract Machine; Logic Programming
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT