Title: Deduction and declarative programming
Subjects: Declarative programming, Computer programming