Writing SLPs

Strictly non-stochastic predicates are un-labelled (non-stochastic) predicates that only contain strictly non-probabilistic predicates in their bodies. When writing an SLP that contains such predicates it might be more efficient and cleaner if they are placed in a separate source file. The source file can either be compiled as a module file if you are using the SICStus Prolog system, or loaded without translation (on any of the supported engines). In the former scenario, the module file can be compiled in SICStus and then saved with : save_modules( [Mod], <FILENAME>_npbc ) where $Mod$ is the module name. In the latter case, directive :- els(NonPbcSrc) can be used to load source file when SLP translation is to be avoided.

The best way to find out how to run experiments are by looking at the experiment scripts in the distribution. For example pbl/ contains scripts for experimental results which have been published. In scripts that load run.pl or mcmcms.pl, you can use directive :- elm( RelPos ). This directive loads file $RelPos$ whose position is taken relative to the top MCMCMS directory.