Embeded Prolog DSL written in Idris. Essentially a translation of pure-prolog into idris, minus the parser.
Examples, documentation, etc... forthcoming.
Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.
IdrisMIT
Embeded Prolog DSL written in Idris. Essentially a translation of pure-prolog into idris, minus the parser.
Examples, documentation, etc... forthcoming.