/*  AWM_PL.P  */





section $-awm => ved_pawm;


define ved_pawm();
    vedawm(
        procedure( awm, varname );
            lvars awm, varname;
            lvars assertion, goal;
            prolog_maketerm( awm, varname, 1 ) -> assertion;
            prolog_maketerm( assertion, "asserta", 1 ) -> goal;
            prolog_invoke( goal ).erase;
        endprocedure
    );
enddefine;


/*
endsection;
*/