/idr-pure-prolog

Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.

Primary LanguageIdrisMIT LicenseMIT

idr-pure-prolog

Embeded Prolog DSL written in Idris. Essentially a translation of pure-prolog into idris, minus the parser.

Examples, documentation, etc... forthcoming.