pfd_meta.pl -- Probabilistic finite domains.

Implements probablilistic finite domains.

Highlights

Installation

To install

?- pack_install(pfd_meta).

to load

?- use_module(library(pfd_meta)).

module doc section

Examples

?- pfd_demo(caesar).

Pack info

author
- nicos angelopoulos
version
- 0.0.1 2015/4/30
See also
- http://www.stoics.org.uk/~nicos/sware/pfd_meta
pfd_version(-Version, -Date)
Current version and release date for the library.

Currently: pfd_version( 0:0:1, date(2017,4,16) ).

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

pfd_predicate(Arg1)
pfd_demo
pfd_demo(Arg1)