Title: Rules and Reasoning
Subjects: Semantics, Programming languages (electronic computers), Logic programming, Computer science