/usr/share/doc/libppl13/README.swiprolog is in libppl13 1:1.1-3+b1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 | # Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
# Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com)
#
# This file is free software; as a special exception the author gives
# unlimited permission to copy and/or distribute it, with or without
# modifications, as long as this notice is preserved.
#
# This program is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
# PURPOSE.
The SWI-Prolog interface to the Parma Polyhedra Library (PPL) is
available both as a statically linked module or as a dynamically
linked one. Only SWI-Prolog version 5.6.0 and later versions are
supported.
The `ppl_pl' Executable
-----------------------
The `ppl_pl' executable is simply the SWI-Prolog shell with the PPL
statically linked: from within `ppl_pl' all the services of the
library are available without further action.
Notice that, in case the PPL was configured with the
`--disable-static' option, in order to use `ppl_pl' you must make sure
your linker looks into the `<prefix>/lib/ppl' directory, where
<prefix> is the root of your installation (`/usr' or `/usr/local' in
most cases).
Loading the SWI-Prolog Interface Dynamically
--------------------------------------------
In order to dynamically load the library from SWI-Prolog you should
simply load `<prefix>/lib/ppl/ppl_swiprolog.pl'.
This will invoke `ppl_initialize/0' and `ppl_finalize/0'
automatically. Alternatively, you can load the library directly with
:- load_foreign_library('<prefix>/lib/ppl/libppl_swiprolog.so').
This will call `ppl_initialize/0' automatically. Analogously,
:- unload_foreign_library('<prefix>/lib/ppl/libppl_swiprolog.so').
will, as part of the unload process, invoke `ppl_finalize/0'.
Notice that, for dynamic linking to work, you should have configured
the library with the `--enable-shared' option (on most platforms this
is the default).
|