Weidong Chen, Michael Kifer, David Scott Warren. HILOG: A Foundation for Higher-Order Logic Programming. Journal of Logic and Algebraic Programming, 15(3):187-230, 1993.
@article{ChenKW93, title = {HILOG: A Foundation for Higher-Order Logic Programming}, author = {Weidong Chen and Michael Kifer and David Scott Warren}, year = {1993}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/ChenKW93}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {15}, number = {3}, pages = {187-230}, }