A Clojure library designed to call SWI-Prolog 7 goals directly from clojure code.
If you find it to hard to translate your prolog projects to core.logic, this might be your choice.
Be sure you fulfill the JPL 3.x installation prerequisites as desribed unter [http://www.swi-prolog.org/packages/jpl/installation.html].
If you want to work yourself on this project, you have to install the SWI-Prolog java bridge jpl.jar in your local maven repository: get and install the leiningen plugin 'localrepo',then do:
lein localrepo install -r 'path to maven repository' 'path-to-swi-prolog'/lib/jpl.jar jpl7/jpl7 7.n.m
For example, my private line looks like:
lein localrepo install -r d:\maven_repo D:\dev\swiprolog\7.6.0\swipl\lib\jpl.jar jpl7/jpl7 7.4.0
put something like
(:require [clj.swipl7.core :as plc]
[clj.swipl7.protocols :as pl]) in your namespace declaration.
Check the examples in 'swipl7_demo.clj'.
Here is one of them:
(defn demo-all-solutions
[]
(let [query (pl/build-q "X is 1; X is 2; X is 3")
solutions (pl/get-all-solutions query)]
(println "demo-all-solutions: all solutions to " (pl/show-query query) " ==> "
(map pl/show-solution solutions))))
(demo-all-solutions)Copyright © 2015 - 2018 Peter Feldtmann
Distributed under the Eclipse Public License, the same as Clojure.