HIFUNLOG: Logic programming with higher-order relational functions (1990)

by Yeh-Heng Sheng
Venue:Proceedings of the Seventh International Conference on Logic Programming