Title: LOG(F)
Subjects: Logic programming, Rewriting systems (Computer science)