assert/retract (for Prolog) implemented.