elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser