Subject: Re: [SWIPL] pl-4.0.10 crash

From: Jan Wielemaker <[email-masked]>
Date: Sat, 1 Dec 2001 08:52:50 +0100

> I'm using prolog 4.0.10 with --enable-mt option and my prolog programm use
> threads. Everything works fine but sometimes prolog crashes with this message:
> 
> MAIN THRîEÅA DÍ ÏgÇoÕt :Ò Áwork:mt_check_found_job(rdt(10,
> $stream(1253764)), 171, 33443, PICK, 33443),Â ÏfÔrÁoÔmØ  workman× 
> ÇÒÕÐÐÅ 10917
> [Thread 1] pl-proc.c:985: gcClausesDefinition: Assertion failed:
> def->erased_clauses == 0
> 
> As far as you see there is always something strange with output before
> crash. The output of two threads are mixed together :(
> I'm using writef for output to the stdout.
> 
> Can you help me, please?

No way without code to reproduce it, or at least some good ideas to
what kind of actions the problem relates.

	--- Jan