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, 2nd Intl Workshop on Database Prog
Langs, Morgan Kaufmann, 1989.
ftp://sbcs.sunysb.edu/SB-hilog
Comments, Experience, Additions
Next Language: HINT