From leo@solvo.ru Fri Nov 30 09:52:56 2001
Received: from condor.solvo.ru (condor.solvo.ru [195.201.44.91])
	by swi.psy.uva.nl (8.10.2+Sun/8.11.2) with ESMTP id fAU8qkI08096
	for <prolog@swi.psy.uva.nl>; Fri, 30 Nov 2001 09:52:49 +0100 (MET)
Received: from localhost (leo@localhost)
	by condor.solvo.ru (8.9.3/8.9.3) with ESMTP id LAA07286
	for <prolog@swi.psy.uva.nl>; Fri, 30 Nov 2001 11:52:33 +0300
X-Authentication-Warning: condor.solvo.ru: leo owned process doing -bs
Date: Fri, 30 Nov 2001 11:52:33 +0300 (MSK)
From: "Leonid V. Khramov" <leo@solvo.ru>
To: Prolog mailing list <prolog@swi.swi.psy.uva.nl>
Message-ID: <Pine.LNX.4.21.0111301147370.7280-100000@condor.solvo.ru>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=koi8-r
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by swi.psy.uva.nl id fAU8qkI08096
Subject: [SWIPL] pl-4.0.10 crash

Hi!
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?

-- 
Best regards,
Leo <leo@solvo.ru>
Solvo Ltd. 
St.Petersburg, Russia

