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 ] ).
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').
Probabilistic finite domains.
Implements probablilistic finite domains.
Highlights
Installation
To install
to load
module doc section
Examples
Pack info
*/