Related Books

Warren's Abstract Machine
Language: en
Pages: 125
Authors: Hassan Ait-Kaci
Categories:
Type: BOOK - Published: 1991-04-01 - Publisher: MIT Press (MA)

DOWNLOAD EBOOK

This tutorial attempts to demystify one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author
Warren's Abstract Machine
Language: en
Pages: 114
Authors: Hassan Aït-Kaci
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: Mit Press

DOWNLOAD EBOOK

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
Logic Programming
Language: en
Pages: 842
Authors: Maria Garcia Banda
Categories: Computers
Type: BOOK - Published: 2008-12-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The
Logic, Algebra, and Computation
Language: en
Pages: 493
Authors: Friedrich L. Bauer
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in com
Multiprocessor Execution of Logic Programs
Language: en
Pages: 251
Authors: Gopal Gupta
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiproces