|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
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:
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 ?
|[Prev in Thread]||Current Thread||[Next in Thread]|