Title: Computing in Horn clause theories
Subjects: Horn clauses, Logic programming