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 structureBims: implementing Markov chain Monte Carlo over Model Structures (see publications).
(Earlier versions distributed as MCMCMS.)
Parameter estimation for SLPspepl: an implementation of the FAM algorithm for Stochastic Logic Programs.
RealReal: integrative functional statistics with R and logic programming.
proSQLiteproSQLite: a Prolog library for the SQLite database system.
bio_dbbio_db: Prolog access to high-quality biological databases.
Includes 4 back-ends: Prolog facts, proSQLite, RocksDB and Berkeley DB.
pubmedpubmed: pubmed interrogation tool for Prolog.
by_unixby_unix: an elegance layer to calling unix commands.
r_sessionr_session: a first attempt to Prolog<->R communication.
http server for ODBC databaseshdb is a generic http server for odbc databases. Currently this has limited documentation.
probabilistic finite domainspfds: a meta-interpreter for Pfds.
upshUpsh: run Prolog scripts from the operating system command prompt.
ex librisExLibris: a library-centric approach to developing and distributing Prolog, open-source.