Title: Warren's abstract machine
Subjects: Electronic digital computers, Logic programming, Prolog (Computer program language)