A query to select groundings from a
Database
.
Groundings that match the query are returned in the form of a
ResultList
.
The Formula is given upon initialization and is fixed.
It must be a Conjunction of Atoms or a single Atom.
Any
Variable
in the Formula must be used in an Atom with a StandardPredicate.
(Then it can be used in others as well.)
The query will return any grounding such that each GroundAtom
with a StandardPredicate in the ground Formula is persisted in the
Database and each GroundAtom with a FunctionalPredicate
in the ground Formula has a non-zero truth value (regardless of whether
it is instantiated in memory).