Warren's abstract machine a tutorial reconstruction - Aït-Kaci, Hassan, 1954- (MIT Press, 1991)
Keywords: Prolog (Computer program language); Logic programming.; Electronic digital computers.; elektronické knihy; electronic books