Re: Recursive structures...

[Daniel Diaz]

Hi,

The problems comes from the fact that your terms are rational terms 
(self-referenced). Simplifying your example:


rs :-
        A=x(B),
        B=x(A),
        assertz(genl(A)).

This leads to an infinite tree for A=x(x(x(...))). GNU Prolog does not 
support infinite trees. Sorry.

address@hidden said:
> Sorry for incompleteness of my example. Of course, operation must be
> defined as you noted.
>   :- op(550, xfy, :).

> This is my fault again. Just replace variable X with atom x and you
> will get an immediate crash.
>    atom. This occurs in X(a:in, b:out, c:_q). 


-- 
===============================================
                 Daniel Diaz
University of Paris 1      INRIA Rocquencourt
75013 Paris FRANCE      78153 Le Chesnay FRANCE
        web: http://pauillac.inria.fr/~diaz
        email: address@hidden
===============================================