Predicate Specialization for Definitional Higher-order Logic Programs

Antonis Troumpoukis, Angelos Charalambidis

Higher-order logic programming is an interesting extension of traditional logic programming that allows predicates to appear as arguments and variables to be used where predicates…