pfd_meta

Meta-interepreter for Probabilistic finite domains.

install

SWI

Real can be installed from within SWI using its package manager.

?- pack_install(pfd_meta).

And then load by :

?- [library(pfd_meta)].

example

Start the meta-interpreter.

?- pfd_demo.

?- [pack(pfd_meta/examples/curtains)].

pfd | ?- curtains( Strat, Prob ).


Prob=1/3,
Strat=alpha ? 


Prob=2/3,
Strat=beta ? 

nope
pfd | ?-

docs

See publications below.

sources

packed sources: pfd_meta
sources on github pfd_meta

Publications

The following can be used to cite PFD (and pfd_meta):

Probabilistic space partitioning in Constraint Logic Programming.
Nicos Angelopoulos.
In 9th Asian Computing Science Conference, (LNCS 3321) 48-62, Chiang Mai, Thailand, December 2004.
[10.1007/978-3-540-30502-6_4 | Asian04.ps.gz | bib]

clp(pfd(Y)): Constraints for Probabilistic Reasoning in Logic Programming.
Nicos Angelopoulos.
In 9th International Conference on Principles and Practice of Constraint Programming, 784-788, Kinsale, Ireland, October 2003.

[nicos_cp03.ps.gz | bib]

A Statistical View of Probabilistic Finite Domains.
Nicos Angelopoulos and David R. Gilbert.
In Workshop on Quantitative Aspects of Programming Laguages (QAPL'01), Satellite to Principles, Logics, and Implementations of high-level programming languages, (PLI'01), Firenze, Italy, 2001.

[Qapl01.ps.gz | bib]

Nicos Angelopoulos,
London, June, 2017