(:*******************************************************:) | |
(: Test: K-InternalVariablesWith-18 :) | |
(: Written by: Frans Englich :) | |
(: Date: 2006-10-05T18:29:39+02:00 :) | |
(: Purpose: A prolog variable having a circular dependency, by having a variable reference in a call site argument. :) | |
(:*******************************************************:) | |
declare variable $var := local:func1(); | |
declare function local:func1() | |
{ | |
local:func2($var) | |
}; | |
declare function local:func2($arg2) | |
{ | |
$arg2 | |
}; | |
$var |