Lines Matching refs:Module
121 defined(Term, Value, Module) :-
129 error(Err, define(Term, Value), Module).
130 defined(Term, Value, Module) :-
134 is_predicate(is_defined_macro/2)@Module,
135 call(is_defined_macro(Term, _))@Module
141 retract(is_defined_macro(Term, _))@Module,
142 erase_macro(F/A)@Module
147 assert(is_defined_macro(Term, Value))@Module,
148 define_macro(F/A, is_defined_macro/2, [])@Module,
153 define_exec(Term, Value, Goal, Module) :-
154 call(Goal)@Module,
155 defined(Term, Value, Module).
158 define_eval(Term, Expression, Module) :-
159 define_exec(Term, Value, Value is Expression, Module).
162 define_erased(Module) :-
163 call(is_defined_macro(Term, _)@Module,
165 erase_macro(F/A)@Module,
167 define_erased(Module) :-
168 abolish(is_defined_macro/2)@Module.