1:- module( pfd_demo, [
    2               pfd_version/2,               % Mj:Mn:Fx, date(Y,M,D)
    3               pfd_predicate/1,             % +Arg1
    4               pfd_demo/0,
    5               pfd_demo/1,                  % +Goals
    6               op( 400, fx, / )               % /Arg1  
    7    ] ).

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) ).
*/


   49pfd_version( 0:0:1, date(2017,4,16) ).
   50
   51:- ensure_loaded('../src/load_pfd').