|
documentation:
|
searchtree: Representing non-deterministic computations as a search tree
========================================================================
This package contains libraries which define operations
to encapsulate non-deterministic computations in data structures,
e.g., lists or trees. Furthermore, various search strategies on
search tree structures are defined.
The library implements **strong encapsulation** as discussed in
[this paper](http://www.informatik.uni-kiel.de/~mh/papers/JFLP04_findall.html).
Note that the functionality of this package is largely contained
in the modules `Control.Search/...` of the
[base package](https://cpm.curry-lang.org/pkgs/base.html)
since version 3.3.0, which is part of newer Curry distributions.
--------------------------------------------------------------------------
|