HiLog

W. Chen et al, Stony Brook, 1989

Logic programming in higher order logic.

"HiLog as a Platform for Database Languages (Or Why Predicate Calculus is Not Enough)", W. Chen et al, Second International Workshop on Database Programming Languages, Morgan Kaufmann, 1989.