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?