[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
gprolog segmentation violation due to infinite recursion in unification
|
From: |
Paul Eggert |
|
Subject: |
gprolog segmentation violation due to infinite recursion in unification |
|
Date: |
Wed, 13 Dec 2017 22:45:24 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 |
This problem was found by my student Trevor Hackett. To reproduce the problem,
build and run gprolog for x86-64 on Fedora 27, or use the gprolog bundled with
Fedora 27 x86-64:
$ gprolog
GNU Prolog 1.4.4 (64 bits)
Compiled Aug 3 2017, 08:15:35 with gcc
By Daniel Diaz
Copyright (C) 1999-2013 Daniel Diaz
| ?- X = [A,B,C,Y], Y = [A,B,C,X], X = Y.
Segmentation fault (core dumped)
It looks like Pl_Unify recurses forever at unify.c:117.
- gprolog segmentation violation due to infinite recursion in unification,
Paul Eggert <=