============================================
/* 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.
_______________________________________________ Bug-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-prolog
