prologlib / README

prologlib is an ISO Prolog processor written in Python 3. It aims at providing
an open source Prolog implementation that strictly follows the non-free ISO
standard document (ISO/IEC 13211-1), from execution model to builtin predicates
and functors.


$ hg clone
$ cd prologlib
$ python3.1

Besides, in the project root you will also find the script,
used to drive the execution of unit/acceptance tests for prologlib. If you run
it without arguments, executes all the tests in the tests subdirectory,
showing results that should include no failures. You will note, however, that
some tests are skipped: typically, they involve some unimplemented feature. You
may also run providing the name of a single test file, to execute only
that set of tests. For example:

$ builtin-predicates
$ [...executing tests in tests/]
$ parser
$ [...executing tests in tests/]

No real API is provided. If you want to integrate prologlib into Python code,
have a look at how prologlib.ui uses prologlib.core.Engine.

Source code includes some examples of Prolog code, to be found in the
subdirectory examples. Those include classic Prolog benchmarks, stored in their
own subdirectory.

BE WARNED! prologlib is extremely slow. It's unlikely that you will find it to
be suitable for serious (and less serious) work.

prologlib's code is distributed under the BSD license.

If you are interested in prologlib's development, please visit prologlib's site
on Bitbucket and take advantage of the available tools. Any comment or feedback
that does not fit into Bitbucket facilities should be addressed to:

Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.