diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Instantiation error for looping :- meta_predicate P.

This commit is contained in:
Ulrich Neumerkel 2009-06-05 09:54:25 +02:00 committed by Costa Vitor
parent 04674cd584
commit 7ae4c887fc
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pl/modules.yap
View File

@ -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).