[Group Index|Full Index]
ECLiPSe Libraries: propia
- +Goal infers +Language
-
Succeeds if Goal succeeds. Computes the most specific generalization of
all the solutions of the Goal according to the approximation Language and
delays if Goal has several non comparable solutions.