HiLog

HiLog

A higher-order logic programming language. An extension ofnormal logic programming where predicate symbols may bevariable or structured. This allows unification to beperformed on the predicate symbols themselves in addition totheir arguments.

ftp://sbcs.sunysb.edu/SB-hilog.

["HiLog as a Platform for Database Languages (Or Why PredicateCalculus is Not Enough)", W. Chen et al, Stony Brook, 2nd IntlWorkshop on Database Prog Langs, Morgan Kaufmann, 1989].