Sketch of a typed Prolog interpreter in Julia. Aiming to have a nice Julia API of the purer parts of Prolog. Also curious about performance and whether typing helps at all.
using Pkg
Pkg.develop("https://github.com/hessammehr/Logic.jl")
This will conveniently clone the current repository to (typically) ~/.julia/dev/Logic
.
Pull requests, issues, and discussions are very much appreciated. I found the following resources useful for learning about logic programming and Prolog in particular: