Warren's abstract0 machine a tutorial reconstruction
Saved in:
Main Author: | Ait-Kaci, Hassan 1954- |
---|---|
Format: | Book |
Language: | English |
Published: |
Cambridge, Mass.
MIT Press
1991
|
Series: | Logic programming
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Why Prolog? justifying logic programming for practical applications
by: Lazarev, Gregory
Published: (1989) -
Computing with logic logic programming with Prolog
by: Maier, David 1953-
Published: (1988) -
The Implementation of Prolog
by: Boizumault, Patrice 1959-
Published: (2016) -
Techniques of Prolog programming with implementation of logical negation and quantified goals
by: Van Le, T
Published: (1993) -
Prolog The Standard: Reference Manual
by: Deransart, Pierre
Published: (1996)