# HG changeset patch # User samer # Date 1329947291 0 # Node ID 33c1cac37be1ef441176ee06ba70654cadc660b5 # Parent 8300e1fb8952193dcb0ed3038f7c87d183f34601 alarm_at/3 goal_expands to alarm_at/4 if alarm_at/3 not defined. diff -r 8300e1fb8952 -r 33c1cac37be1 qutils.pl --- a/qutils.pl Wed Feb 22 17:34:06 2012 +0000 +++ b/qutils.pl Wed Feb 22 21:48:11 2012 +0000 @@ -20,8 +20,8 @@ % Older versions of SWI do not have alarm_at/3 :- if(\+current_predicate(alarm_at/3)). -:- writeln('% compiling alarm_at/3.'). -alarm_at(A,B,C) :- alarm_at(A,B,C,[]). +:- writeln('% Expanding alarm_at/3 to alarm_at/4.'). +user:goal_expansion(alarm_at(A,B,C), alarm_at(A,B,C,[])). :- endif. % Older versions of SWI do not have thread_get_message/3