Re: Iteratively calling Prolog from C

[Daniele Peri]

Daniel Dudley wrote:
> Daniele Peri wrote:
>
> > Daniel Dudley wrote:

> > >    | ?- factorial(15,F).
> > >    F = -143173632
> > >    yes
> > >
> > > Daniel
> >
> > Such little N doesn't really help testing the recursion
> > optimization. As I told you before you may want to turn the
> > factorial into a sum of integers (not very important) and try
> > with a N large enough (important). The representation error
> > you are talking about is a different subject.
>
>
> Using the backtracking algorithm and ECLiPsE 5.6:
>
>
>
> Big enough for you?
>
> Daniel

Of course my answer is no, as long as you keep using other prolog 
environments.
It should be obvious as I am posting messages in the "gnuprolog mailing 
list" but I am interested in gprolog's recursion optimization.

Daniele