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

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