[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]library(propia)
The Generalised Propagation Library
Predicates
- +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.
- infers(?, ?, ?)
- No description available
- tr_propia(?, ?)
- No description available
Other Exports
- export op(900, yfx, infers)
- export macro(myinfers / 5, tr_propia / 2, [goal, write])
- export macro(myinfers / 6, tr_propia / 2, [goal, write])
About
- Author: Thierry Le Provost, ECRC and Mark Wallace, IC-Parc and ICL
- Copyright © Imperial College London and ICL 1995-2000
- Date: $Date: 2001/11/16 22:19:11 $
Generated from propia.eci on Wed May 15 03:41:18 2002