You might try LilKanren.jl <https://github.com/lilinjn/LilKanren.jl>.

On Mon, Sep 19, 2016 at 10:21 AM, Kevin Liu <kvt...@gmail.com> wrote:

> Hello. What would be the long-term solution for using Horn clauses in
> Julia? Is the present solution to call Prolog from C and C from Julia?
> Thanks
>

Reply via email to