elpi

ELPI - Embeddable λProlog Interpreter