[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]library(propia)
The Generalised Propagation Library
Predicates
- +Goal infers +Language
- Do generalized propagation over Goal according to the approximation Language.
- tr_propia(?, ?)
- No description available
Other Exports
- export op(900, yfx, infers)
- export macro(myinfers / 5, propia : tr_propia / 2, [goal, write])
- export macro(myinfers / 6, propia : 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: 2003/12/01 19:56:37 $
Generated from propia.eci on Sat Aug 7 01:44:29 2004