For the complete documentation index, see llms.txt. This page is also available as Markdown.

Higher-order logic programming in Prolog

Last updated