From 4d0967b05051144a3158fabdb6dc78f4a72bdca2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Wed, 5 May 2010 19:37:56 +0100 Subject: [PATCH] arg(2,a,X) fails in SWI and gives an error in YAP/SICStus. Keep on using genarg. --- library/dialect/swi.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/dialect/swi.yap b/library/dialect/swi.yap index d8afd7bef..f72766b6e 100755 --- a/library/dialect/swi.yap +++ b/library/dialect/swi.yap @@ -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)).