A treatment of higher-order features in logic programming.

Gopalan Nadathur A treatment of higher-order features in logic programming. 305-354 2005 5 TPLP 3 http://dx.doi.org/10.1017/S1471068404002297 db/journals/tplp/tplp5.html#Nadathur05