core/assumptions library

Classes

Assumptions

All symbolic objects have assumption attributes that can be accessed via .is<AssumptionName> attribute.

StdFactKB

A FactKB specialized for the built-in rules