"HIFUNLOG : Logic Programming with Higher-order Relational Functions."

Yeh-Heng Sheng (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics