Title: Reforming compilation of logic programs
Subjects: Logic programming, Recursive programming