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

Fixed some meta_predicate/1 directives (goals are represented by "0", not ":".

Browse Source
This commit is contained in:
Paulo Moura 2011-06-25 06:50:22 -05:00
parent 5aa652d21e
commit 5332cc45fb
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pl/statistics.yap
View File

@ -135,7 +135,7 @@ key_statistics(Key, NOfEntries, TotalSize) :-
% Based on the SWI-Prolog definition minus reporting the number of inferences,
% which YAP does not currently supports
:- meta_predicate time(:).
:- meta_predicate time(0).
time(Goal) :-
var(Goal),

6
pl/yapor.yap
View File

@ -12,9 +12,9 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:- meta_predicate
parallel(:),
parallel_findall(?,:,?),
parallel_once(:).
parallel(0),
parallel_findall(?,0,?),
parallel_once(0).