Yirmiuc / elpi

embeddable lambda-Prolog interpreter (tool)