> For the complete documentation index, see [llms.txt](https://wiki.dewaka.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.dewaka.com/papers/cs/naish95higher-orderlogic.md).

# Higher-order logic programming in Prolog

* Paper - <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.9690>