Higher-order logic programming

by Gopalan Nadathur, Dale Miller
Venue:HANDBOOK OF LOGIC IN AI AND LOGIC PROGRAMMING, VOLUME 5: LOGIC PROGRAMMING. OXFORD (1998