ELPI – Embeddable Lambda Prolog Interpreter

ELPI – Embeddable Lambda Prolog Interpreter offers a lightweight, embeddable Prolog engine that can be integrated into existing applications. Start by following