[Top][All Lists]

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

Simple but crashes !

From: Khaled, Mahmoud
Subject: Simple but crashes !
Date: Wed, 4 May 2016 17:23:14 +0000

Dear GNU-Prolog team,


While working with GNU-Prolog with the following config:

-          version 1.4.4,

-          windows GUI console version 1.1

-          Windows 10 x64

-          GNU-Prolog x64


Problem description:

A simple (.pl) files makes exception and crashes the GNU-Prolog console.


The (.pl) file contains


trans(x0, a, x2).

trans(x0, a, x1).

trans(x1, b, x1).

trans(x2, a, x2).


reaches(XSTART, XEND) :- trans(XSTART, _ ,XEND).

reaches(XSTART, XEND) :- trans(XSTART, _ ,XMID), reaches(XMID, XEND).


Loading this file and running the following check makes an exception and crashes:

reaches(x2, x0).


I think it is because it goes into infinite search by the last line in the file but should be some how detected or avoided rather than crashing ?




Mahmoud Khaled
PhD Student
Hybrid Control Systems Group,
Electrical Engineering Dept.
Technical University of Munich (TUM),
Arcisstraße 21, 80333 Munich, Germany

Tel: +49 (89) 289 - 23736
Web: http://www.hcs.ei.tum.de

reply via email to

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