Title: Warren's Abstract Machine
Subjects: Logic programming, Electronic digital computers, Prolog (Computer program language), Prolog (computer program language)