Title: Constructing logic programs
Subjects: Logic programming