You might want to roll your own, too. It's instructive, and not 
particularly hard. Russell and Norvig's textbook has a good section on it.

On Monday, September 19, 2016 at 5:44:04 PM UTC-4, Kevin Liu wrote:
>
> 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> 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