diff --git a/pl/modules.yap b/pl/modules.yap index cbf44d3ff..362d1a3d0 100644 --- a/pl/modules.yap +++ b/pl/modules.yap @@ -400,6 +400,9 @@ module(N) :- :- multifile '$meta_predicate'/4. +'$meta_predicate'(P, M) :- + var(P), + '$do_error'(instantiation_error,module(M)). '$meta_predicate'((P,Ps), M) :- !, '$meta_predicate'(P, M), '$meta_predicate'(Ps, M).