Title: GCLA
Subjects: Logic programming, Horn clauses