JPL - Tutorials - Developing JPL
Say you want to develop JPL further, to extend it or address some bug.
JPL architecture & components
The first thing to understand is that JPL has three parts:
- C code (in
src/c) implementing the bridge between Java and SWI Prolog (as installed in the specific architecture where execution will happen). This code uses the Java Native Interface (JNI) programming framework, and is basically file
- Check this and this tutorials for understanding how JNI can be used. Also check IBM’s Best practices for using the Java Native Interface
- Java code (in
src/java) implementing the Java-side API interface of JPL to access Prolog. Basically this is a set of objects and methods to use SWI Prolog from Java. For example, objects that represent Prolog atom and terms, and methods to prove a goal and access the solution bindings.
- Prolog code (basically
jpl.pl) implementing the Prolog API for access Java, for example to create an object or call a method of a given object. The reference documentation for the Prolog API can be found here too.
Both the Java and Prolog sources will make use of the C JNI code.
Setting up JPL for development
The second thing to understand is that JPL is just a package on the overall SWI Prolog system. So, to compile the whole JPL, one needs to core SWI system as the JPL C component (
libswipl.so) links against the core SWI library (e.g.,
So, first we get everything needed:
git clone email@example.com:SWI-Prolog/swipl-devel.git // get main SWI distribution cd swipl-devel/ git submodule update --init packages/jpl // get JPL package source code git submodule update --init packages/plunit // get unit testing support SWI library
Next, make sure that any SWI Prolog system install that you have does not interfere with your development install. Make sure you do not
LD_LIBRARY_PATH pointing to your local install version of
/usr/lib/swi-prolog/lib/amd64/libjpl.so). Otherwise your development will use that system install, which is not what you want.
Now, build the system obtained (SWI+JPL+PLUNIT) using CMAKE:
mkdir build cd build cmake -DINSTALL_DOCUMENTATION=OFF .. make ctest -V -R jpl:prolog_in_java // run test of Java calling Prolog ctest -V -R jpl:java_in_prolog // run test of SWI calling Java
At this point you have SWI + JPL for development. However, you cannot commit changes to neither repositories. You need to do the changes in your own fork of JPL and once happy probably propose a pull request for the SWI+JPL developers to adopt (by merging your code into the main JPL repo).
So, as an example, I have my own fork of JPL at https://github.com/ssardina-research/packages-jpl and in that repo I have, say, a branch called
proposal where I will do changes to later issue as pull requests to the main JPL repo.
Because packages in the SWI distribution are independent git submodules, we can “attach” our JPL fork in the whole development set-up we build above:
<we assume we are at the main SWI local git repo, that is, swipl-devel/ cd packages/jpl/ git remote add ssardina firstname.lastname@example.org:ssardina-research/packages-jpl.git git fetch --all // will fetch all the info of branches in the new remote ssardina git branch --track proposal ssardina/proposal // local branch proposal will start tracking ssardina/proposal <do all your changes> git push ssardina // assuming you are happy with the changes
Now we build:
cd ../../build cmake -DINSTALL_DOCUMENTATION=OFF .. make -C packages/jpl clean // clean the JPL previous compile make ctest -V -R jpl // run tests to check nothing broke
Of course, the first time you will probably not have your
proposal branch in your fork. So you can create one as follows:
<we assume we are at the main SWI local git repo, that is, swipl-devel/ cd packages/jpl/ git remote add ssardina email@example.com:ssardina-research/packages-jpl.git git checkout -b proposal <do all your changes> git push -u ssardina proposal // push new branch to remote ssardina and start tracking
Now you have a local branch
proposal tracking a remote branch in
ssardina for it.
NOTE: If you are only expecting to change the Java API, then you can just work with the
packages-jpl distribution in isolation. This will compile just the Java classes and produce a corresponding JAR file for use. However, in this case you would have to have an SWI system installed system-wide and make sure your application uses your updated JPL JAR file and not the system installed one.
Unit testing output
This is how it looks when the tests are run error-free:
[ssardina@Thinkpad-X1 build]$ ctest -V -R jpl:prolog_in_java UpdateCTestConfiguration from :/home/ssardina/git/soft/prolog/swipl-devel.git/build/DartConfiguration.tcl UpdateCTestConfiguration from :/home/ssardina/git/soft/prolog/swipl-devel.git/build/DartConfiguration.tcl Test project /home/ssardina/git/soft/prolog/swipl-devel.git/build Constructing a list of tests Done constructing a list of tests Updating test list for fixtures Added 0 tests to meet fixture requirements Checking test dependency graph... Checking test dependency graph end test 13 Start 13: jpl:prolog_in_java 13: Test command: /usr/bin/env "SWI_HOME_DIR=../../home" "TEST_JPL=../../../packages/jpl/test_jpl.pl" "/usr/lib/jvm/java-8-oracle/bin/java" "-Djava.library.path=." "-classpath" "/usr/share/java/junit.jar:src/java/jpl.jar:src/java/jpltest.jar" "junit.textui.TestRunner" "org.jpl7.test.TestJUnit" 13: Test timeout computed to be: 9.99988e+06 13: ......................................... 13: ......................................... 13: ...................................... 13: Time: 0.06 13: 13: OK (120 tests) 13: 1/1 Test #13: jpl:prolog_in_java ............... Passed 0.35 sec The following tests passed: jpl:prolog_in_java 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 0.36 sec [ssardina@Thinkpad-X1 build]$ ctest -V -R jpl:java_in_prolog UpdateCTestConfiguration from :/home/ssardina/git/soft/prolog/swipl-devel.git/build/DartConfiguration.tcl UpdateCTestConfiguration from :/home/ssardina/git/soft/prolog/swipl-devel.git/build/DartConfiguration.tcl Test project /home/ssardina/git/soft/prolog/swipl-devel.git/build Constructing a list of tests Done constructing a list of tests Updating test list for fixtures Added 0 tests to meet fixture requirements Checking test dependency graph... Checking test dependency graph end test 12 Start 12: jpl:java_in_prolog 12: Test command: /home/ssardina/git/soft/prolog/swipl-devel.git/build/src/swipl "-p" "foreign=:/home/ssardina/git/soft/prolog/swipl-devel.git/build/packages/plunit" "-p" "library=:/home/ssardina/git/soft/prolog/swipl-devel.git/packages/plunit" "-f" "none" "-s" "/home/ssardina/git/soft/prolog/swipl-devel.git/packages/jpl/test_jpl.pl" "-g" "test_jpl" "-t" "halt" 12: Test timeout computed to be: 9.99988e+06 12: % PL-Unit: jpl .......................................................................................... done 12: % 3 tests are blocked: 12: % /home/ssardina/git/soft/prolog/swipl-devel.git/packages/jpl/test_jpl.pl:610: 12: test method_static_echo_float_4: we do not yet widen unbounded integers to floats or doubles 12: % /home/ssardina/git/soft/prolog/swipl-devel.git/packages/jpl/test_jpl.pl:914: 12: test set_field_static_shadow_1: we do not yet resolve same-named shadowed fields 12: % /home/ssardina/git/soft/prolog/swipl-devel.git/packages/jpl/test_jpl.pl:1193: 12: test throw_java_exception_1: part of the error term is nondeterministic: we need to match with _ 12: % 90 tests passed 1/1 Test #12: jpl:java_in_prolog ............... Passed 0.35 sec The following tests passed: jpl:java_in_prolog 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 0.35 sec [ssardina@Thinkpad-X1 build]$