CPM.Query.Main
documentation
All operations
All constructors
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
Documentation of the Curry program
CPM.Query.Main
Modules:
CPM.Query.Main
Explanations of the icons used in the documentation:
Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations
Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations