Title: A formal basis for Horn clause logic with external polymorphic functions
Subjects: Horn clauses