Thanks for the direction, Stefan.

On Monday, September 19, 2016 at 3:10:19 PM UTC-3, Stefan Karpinski wrote:
>
> 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 
> <javascript:>> 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