[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Just crashed gprolog
From: |
Emmanuel Mogenet |
Subject: |
Just crashed gprolog |
Date: |
Sun, 4 May 2003 00:26:03 -0700 |
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 ?
- Just crashed gprolog,
Emmanuel Mogenet <=