Subject: Re: [SWIPL] Vars/4

From: Jan Wielemaker <[email-masked]>
Date: Mon, 12 Feb 2001 10:43:23 +0100

Douglas,

On Sat, 10 Feb 2001, Douglas R. Miles wrote:

>vars(I, N, Term, V0, V) :-
>    (   (I > N) -> true
>    ;   arg(I, Term, Arg),
>	vars(Arg, V0, V1),
>	J is I + 1,
>	vars(J, N, Term, V1, V)
>    ).

Any Prolog system this has worked on is buggy.  The 2nd line should be

        (I > N) -> V=V0

	Cheers --- Jan