Title: From logic design to logic programming
Subjects: Automatic theorem proving, Computer algorithms, Logic programming