section retina => ved_pretina;


define ved_pretina();
    vedretina(
        procedure( retina, varname );
            lvars retina, varname;
            lvars assertion, goal;
            prolog_maketerm( retina, varname, 1 ) -> assertion;
            prolog_maketerm( assertion, "asserta", 1 ) -> goal;
            prolog_invoke( goal ).erase;
        endprocedure
    );
enddefine;


endsection;