Title: Computational logic
Subjects: Logic programming, Automatic theorem proving, Logic programming languages, Programming languages (electronic computers)