Software


The following programs are written in Prolog.

Most projects are hosted on github and distributed as SWI-Prolog libraries (see packs list).

Bims: Bayesian inference of model structure

Bims: implementing Markov chain Monte Carlo over Model Structures (see publications).
(Earlier versions distributed as MCMCMS.)

Parameter estimation for SLPs

pepl: an implementation of the FAM algorithm for Stochastic Logic Programs.

Real

Real: integrative functional statistics with R and logic programming.

proSQLite

proSQLite: a Prolog library for the SQLite database system.

bio_db

bio_db: Prolog access to high-quality biological databases.
Includes 4 back-ends: Prolog facts, proSQLite, RocksDB and Berkeley DB.

pubmed

pubmed: pubmed interrogation tool for Prolog.

by_unix

by_unix: an elegance layer to calling unix commands.

r_session

r_session: a first attempt to Prolog<->R communication.

http server for ODBC databases

hdb is a generic http server for odbc databases. Currently this has limited documentation.

probabilistic finite domains

pfds: a meta-interpreter for Pfds.

upsh

Upsh: run Prolog scripts from the operating system command prompt.

ex libris

ExLibris: a library-centric approach to developing and distributing Prolog, open-source.
Last update 2017-2-24