--- /dev/null
+# 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).