Issue 53 in teyjus: simulator heap overflow when attempting "resolution"

[tey...@googlecode.com]

Status: Accepted
Owner: dale.a.m...@gmail.com

New issue 53 by dale.a.m...@gmail.com: simulator heap overflow when
attempting "resolution"
http://code.google.com/p/teyjus/issues/detail?id=53

I was trying to code up some examples implementing first-order resolution.
I found what I think is a bug in that the simulator has a heap overflow.

$ uname -a
Linux alonzo 2.6.32-32-generic #62-Ubuntu SMP Wed Apr 20 21:54:21 UTC 2011
i686 GNU/Linux
$ tjcc -v
Teyjus version 2.0-b1
$ tjcc bug ; tjlink bug ; tjsim bug
Welcome to Teyjus
Copyright (C) 2008 A. Gacek, S. Holte, G. Nadathur, X. Qi, Z. Snow
Teyjus comes with ABSOLUTELY NO WARRANTY
This is free software, and you are welcome to redistribute it
under certain conditions. Please view the accompanying file
COPYING for more information
[bug] ?- try 6 C.
Simulator: Heap overflow.
$

Since I really don't have any recursions in this program that don't
terminate, this overflow seems to be a bug somewhere else in Teyjus.

I tried to narrow down the bug: see the attached .mod and .sig files and
the comments inside.

Attachments:
bug.mod 990 bytes
bug.sig 424 bytes

[tey...@googlecode.com]

Comment #1 on issue 53 by fafou...@gmail.com: simulator heap overflow when
attempting "resolution"
http://code.google.com/p/teyjus/issues/detail?id=53

A simplification of Dale's code is attached.

Attachments:
bug.mod 197 bytes
bug.sig 184 bytes