Mark Thom markjordanthom@gmail.com
A CL implementation of PSOATransRun, realizing the PSOA RuleML data and rule language.
The software required to build and run cl-psoatransrun are as follows:
- SBCL -- cl-psoatransrun is written specifically for SBCL and will not run on other Common Lisps!
- Quicklisp
- One of XSB Prolog or Scryer Prolog
Once SBCL, Quicklisp and either of the two Prologs have been installed after following the instructions on their linked sites, these Quicklisp commands should be executed at the SBCL REPL to install the libraries on which cl-psoatransrun depends:
* (ql:quickload "drakma")
* (ql:quickload "esrap")
* (ql:quickload "pathname-utils")
* (ql:quickload "rutils")
* (ql:quickload "trivia")
* (ql:quickload "usocket")
Based on these libraries, cl-psoatransrun can be compiled into the
Lisp image. The global variables at the top of the file
prolog-engine-client.lisp,
*default-scryer-prolog-path*
and *default-xsb-prolog-path*
must be
changed to reflect the local paths of the corresponding executables on
your machine. Similarly, a local copy of the PSOATransRun test
suite
should be downloaded, and the global variable *test-suite-directory*
of
psoatransrun-tests.lisp
must be changed to its path.
Next, the ASDF build file "psoatransrun.asd" must be loaded into SBCL as in:
* (load "psoatransrun.asd")
* (asdf:load-system "psoatransrun")
(Quicklisp will have downloaded and installed the ASDF build system during its own above install, so there's no need to load ASDF explicitly via Quickload.)
The cl-psoatransrun REPL is entered with a target KB passed as a string by entering:
* (psoatransrun:psoa-load-and-repl "<target KB>")
at the SBCL REPL. "" must be replaced with a well-formed string representing a PSOA RuleML knowledge base with a single Assert, as in:
* (psoatransrun:psoa-load-and-repl "RuleML(
Assert(
_r(_p1->_v)
_r(_p1->_f(_v))
_o#_r(_p1->_g(_v) _p2->_f(0))
)
)")
Translated KB:
:- use_module(standard, [local_datime/1, datime/1]).
:- auto_table.
sloterm('_26999', '_p1', '_v').
sloterm('_27000', '_p1', '_f'('_v')).
sloterm('_o', '_p2', '_f'(0)).
sloterm('_o', '_p1', '_g'('_v')).
memterm('_26999', '_r').
memterm('_27001', '_26999').
memterm('_27000', '_r').
memterm('_27002', '_27000').
memterm('_o', '_r').
>
As in the example, the RuleML KB is translated to Prolog, which is printed to the screen, and a prompt appears where RuleML queries can be entered, as in:
> _r(_p1->_f(?x))
?x=_v
psoatransrun:psoa-load-and-repl
also has a keyword argument
:system
specifying a Prolog engine for use as a backend. Its default
value is :xsb
, which launches XSB Prolog at the path
*default-xsb-prolog-path*
as a subprocess of SBCL; if :system
is
set to :scryer
, Scryer Prolog is loaded from the path
*default-scryer-prolog-path*
.
Support for Scryer Prolog is currently in its infancy, as Scryer is less mature than XSB and its support for tabling is less robust. For these reasons, XSB Prolog is the current default backend.
To run the above-referenced test suite, the form
* (psoatransrun-tests:run-test-suite)
is evaluated. psoatransrun-tests:run-test-suite
also supports the
keyword argument :system
with default :xsb
.
cl-psoatransrun has been tested on Linux with both Scryer and XSB as backends. It's expected to work on Linux, macOS, and other UNIX-like systems. Scryer does not yet run on Windows, although cl-psoatransrun has been tested and confirmed to work with XSB versions 3.6 and 3.8 on Windows.