An efficient implementation of the higher-order logic programming language Lambda Prolog
Latest commits.
Builders behind this project.
