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