prim_dynamic prim_assertFact prim_dynamic prim_retractFact prim_dynamic prim_getDynamicKnowledge prim_dynamic prim_isKnownAtTime prim_dynamic prim_startTransaction prim_dynamic prim_commitTransaction prim_dynamic prim_abortTransaction