test.pl

 mc_tests is det

Run manual tests.

 mc_tests(+Directory) is det

Run manual tests, specifying the directory test files are contained in.

 mc_test(+File:file, :Query:atom, +ExpectedP:float, +Options:list) is det

Run a single test. Arguments are shared with montecarlo/4, where the resulting probability is replaced by the expected one for a successful test.

 mc_test(+File:file, :Query:atom, +ExpectedP:float) is det

Alias of mc_test/4 with empty options.