|Adds +Pef to the factbase.|
|Deletes +Term and all its derived predicates from the factbase.|
|Replaces the PEF Old with the PEF New.|
|Replaces the PEF with the same id as New with the PEF New.|
|Deeply retracts Pef or a list of pefs.|
|Deeply deletes Pef or list of pefs and all their derived predicates.|
|Deletes the tree with root Old and replaces the reference to Old in Parent with a reference to New.|
|Replaces OldId with NewId in Term an binds the resulting Term to TranslatedTerm.|
|Replaces the member OldMember with NewMember in the list List an binds the resulting List to TranslatedList.|
|Binds Id to a unique number.|
|Binds the variables id1, .|
|Apply single ct named Name.|
|Applies the given list of CTs.|
|Enables CT logging.|
|Disables CT logging.|
|Undoes all add/1, delete/1 and replace/2 operations since the last rollback evaluation.|
|Commits all rollback information.|
|Defines the new checkpoint Checkpoint for the rollback facility.|
|Commit the rollback check point Checkpoint.|
|Rollback to the checkpoint Checkpoint.|
|Deletes the checkpoint Checkpoint.|
Be aware: If the Pef already exists the predicate is ignored. The Pef is not added to the factbase, no rollback information is added.
error(retract_failed_in_delete(Term)) if retracting of Term fails.
already_bound_exception(Msg)if Id is already bound.