Just crashed gprolog

"Emmanuel Mogenet" <[email protected]>
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <[email protected]>
Hi there,

I'm trying to learn prolog,
and built myself a small ancestor file which follows:

-----8<----------------- z.pl

parent(francis,odile).
parent(marcelle,odile).
parent(germaine,bernard).
parent(marcel,bernard).
parent(bernard,manu).
parent(odile,manu).
parent(manu,leo).
parent(jolene,leo).

ancestor(X,Y) :- parent(X,Y).
ancestor(X,Y) :- ancestor(X,Z), ancestor(Z,Y).

-----8<----------------- z.pl


I then launch gprolog, and here's what happens:

marune #./gprolog.exe
GNU Prolog 1.2.16
By Daniel Diaz
Copyright (C) 1999-2002 Daniel Diaz
| ?- [z].
compiling /usr/gprolog-1.2.16/bin/z.pl for byte code...
/usr/gprolog-1.2.16/bin/z.pl compiled, 13 lines read - 1337 bytes written, 120 ms

yes
| ?- ancestor(X,leo).

X = manu ? ;

X = jolene ? ;

X = francis ? ;
Segmentation fault (core dumped)


Am I doing something wrong ?

Is the tree of ancestors that huge that I'm
causing the unification to fail ?
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.