[ 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, tr_propia / 2, [goal, write])
export macro(myinfers / 6, tr_propia / 2, [goal, write])

About


Generated from propia.eci on 2022-09-03 14:26