(:*******************************************************:)
(: Test: K-InternalVariablesWith-19                      :)
(: Written by: Frans Englich                             :)
(: Date: 2006-10-05T18:29:39+02:00                       :)
(: Purpose: A prolog variable having a circular dependency, stretching through functions and variables. :)
(:*******************************************************:)

declare variable $var2 := local:func1();
declare variable $var := $var2 + 1;
declare function local:func1()
{
	local:func2()
};
declare function local:func2()
{
	local:func3()
};
declare function local:func3()
{
	local:func4()
};
declare function local:func4()
{
	$var
};
boolean($var)