bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

local stack overflow


From: Andrei Viesca
Subject: local stack overflow
Date: Sun, 05 Feb 2006 21:14:00 -0000

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.
reply via email to

[Prev in Thread] Current Thread [Next in Thread]