Title: Logic Programming
Subjects: Automatic theorem proving, Logic programming, Programming languages (Electronic computers), Semantics, Proof theory