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)