dfs_sampling.pl -- Model sampling

Sample models from a world specification.

To be done

- Elaborate on world specifications.

 dfs_sample_models(+NumModels, -ModelSet) is det

ModelSet is a set of NumModels sampled models.

See also

- dfs_sample_model.

 dfs_sample_model(-Model) is det

Sample a model from the world specificiations.

 dfs_sample_models_mt(+NumThreads, +NumModels, -ModelSet) is det

ModelSet is a set of NumThreads * NumModels sampled models.

See also

- dfs_sample_model.