local stack overflow

[Andrei Viesca]

Hello, this bug is reproduceable, first I load this program:
============================================
/* facts */

male(me).
male(myFather).
female(w).
female(d).
male(s1).
male(s2).


spouse(me,w).

parent(myFather,me).
parent(w,d).




/* RULES */
father(X,Y):-     ( 
        parent(X,Y) ;
        father_in_law(X,Y) 
        ),
        male(X).

mother(X,Y):-     ( 
        parent(X,Y) ;
        mother_in_law(X,Y) 
        ),
        female(X).

married(X,Y):-    spouse(X,Y);
        spouse(Y,X).
   
     
father_in_law(W,Y):-     married(Y,U),
            father(X,U).
            
mother_in_law(W,Y):-     married(Y,U),
            mother(X,U).
            
son_in_law(X,Y):- father_in_law(Y,X).

uncle(X,Y):-    parent(U,X),
        parent(U,parent(Y)).

grandfather(X,Y):-    father(X,U),
            father(U,Y).
============================================

After loading this program, if I ask:

?- mother(X,Y).

I get:
X=w
Y=d? ;

when I type semicolon ";" to get the next
 result, a "Fatal Error" message box pops up with the following text, and when pressing the OK button, the program shuts down.

local stack overflow( size:4096 Kb, environment variable used: LOCALSZ )

I just download the latest version today and got this error, the version number is: 1.2.16

---

Brings words and photos together (easily) with
 
PhotoMail  - it's free and works with Yahoo! Mail.