GitHub repository: mschauer/Julog.jl
Description: A Julia package for Prolog-style logic programming.