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

simplify compatibility

This commit is contained in:
Vítor Santos Costa II 2010-04-20 23:10:40 +01:00
parent 5ab2a97852
commit ff135d53d2
1 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
library/dialect/swi.yap
View File

@ -112,15 +112,7 @@ swi_predicate_table(_,include(X,Y,Z),apply,include(X,Y,Z)).
swi_predicate_table(_,exclude(X,Y,Z),apply,exclude(X,Y,Z)).
swi_predicate_table(_,partition(X,Y,Z,A),apply,partition(X,Y,Z,A)).
swi_predicate_table(_,partition(X,Y,Z,A,B),apply,partition(X,Y,Z,A,B)).
% swi_predicate_table(_,set_test_options(X),plunit,set_test_options(X)).
% swi_predicate_table(_,begin_tests(X),plunit,begin_tests(X)).
% swi_predicate_table(_,begin_tests(X,Y),plunit,begin_tests(X,Y)).
% swi_predicate_table(_,end_tests(X),plunit,end_tests(X)).
% swi_predicate_table(_,run_tests,plunit,run_tests).
% swi_predicate_table(_,run_tests(X),plunit,run_tests(X)).
% swi_predicate_table(_,load_test_files(X),plunit,load_test_files(X)).
% swi_predicate_table(_,running_tests,plunit,running_tests).
% swi_predicate_table(_,test_report(X),plunit,test_report(X)).
swi_predicate_table(_,partition(X,Y,Z),swi,plus(X,Y,Z)).
swi_mchk(X,Y) :- lists:memberchk(X,Y).