ELPI

cli 1.17.4 ·ocaml

✓ install reviewed

Embeddable lambda-Prolog interpreter providing a CLI tool for logic programming.

Resources