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

optimise case where genarg is know to reduce to arg.

Browse Source
This commit is contained in:
Vítor Santos Costa 2010-05-03 16:35:51 +01:00
parent ba996c8dd5
commit b9cf8ecf4b
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
library/dialect/swi.yap
View File

@ -95,6 +95,7 @@
goal_expansion(atom_concat(A,B),atomic_concat(A,B)). goal_expansion(atom_concat(A,B),atomic_concat(A,B)).
goal_expansion(atom_concat(A,B,C),atomic_concat(A,B,C)). goal_expansion(atom_concat(A,B,C),atomic_concat(A,B,C)).
goal_expansion(arg(A,_,_),_) :- nonvar(A), !, fail.
goal_expansion(arg(A,B,C),genarg(A,B,C)). goal_expansion(arg(A,B,C),genarg(A,B,C)).
goal_expansion(time_file(A,B),system:swi_time_file(A,B)). goal_expansion(time_file(A,B),system:swi_time_file(A,B)).
goal_expansion(get_time(A),system:swi_get_time(A)). goal_expansion(get_time(A),system:swi_get_time(A)).