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

arg(2,a,X) fails in SWI and gives an error in YAP/SICStus. Keep on using genarg.

This commit is contained in:
Vítor Santos Costa 2010-05-05 19:37:56 +01:00
parent 838f3b7bad
commit 4d0967b050
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
library/dialect/swi.yap
View File

@ -100,7 +100,7 @@ swi_get_time(FSecs) :- datime(Datime), mktime(Datime, Secs), FSecs is Secs*1.0.
goal_expansion(atom_concat(A,B),atomic_concat(A,B)).
goal_expansion(atom_concat(A,B,C),atomic_concat(A,B,C)).
goal_expansion(arg(A,_,_),_) :- nonvar(A), !, fail.
%goal_expansion(arg(A,_,_),_) :- nonvar(A), !, fail.
goal_expansion(arg(A,B,C),genarg(A,B,C)).
goal_expansion(time_file(A,B),system:swi_time_file(A,B)).