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.

Table des matières

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

A propos de l'auteur

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

Résumé

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

Détails du produit

• Auteurs: Hassan Aat-Kaci, Hassan Ait-Kaci, Hassan At-Kaci
• Edition: The MIT Press
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 12.08.1991
• EAN: 9780262510585
• ISBN: 978-0-262-51058-5
• Pages: 114
• Thèmes: Logic Programming; Warren's Abstract Machine; Logic Programming
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique