From bhirsch@wins.uva.nl  Thu Jun  3 14:58:47 1999
Received: from smtp1.a2000.nl (farida.a2000.nl [62.108.1.19])
	by swi.swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id OAA13468
	for <prolog@swi.psy.uva.nl>; Thu, 3 Jun 1999 14:58:47 +0200 (MET DST)
Received: from node10e0e.a2000.nl ([24.132.14.14] helo=bhirsch)
	by smtp1.a2000.nl with smtp (Exim 2.02 #4)
	id 10pX5D-0003DX-00
	for prolog@swi.psy.uva.nl; Thu, 3 Jun 1999 14:58:55 +0200
Message-ID: <002101beadc0$d07e0b40$0e0e8418@a2000.nl>
From: "Benjamin Hirsch" <bhirsch@wins.uva.nl>
To: <prolog@swi.psy.uva.nl>
Subject: how  to save  traces
Date: Thu, 3 Jun 1999 14:58:40 +0200
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_001C_01BEADD1.90E2B7E0"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.00.2615.200
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200

This is a multi-part message in MIME format.

------=_NextPart_000_001C_01BEADD1.90E2B7E0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Hi there,

is there a way (or is it planned) to be able to save traces? I have =
prolog programms where I's like to skip through, and later on examine =
certain paths in depth. Now I always have to start again, which kosts an =
awful amount of time....

yours

Benjamin

------=_NextPart_000_001C_01BEADD1.90E2B7E0
Content-Type: text/html;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.2614.3500" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Hi there,</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>is there a way (or is it planned) to be =
able to=20
save traces? I have prolog programms where I's like to skip through, and =

later&nbsp;on examine certain paths in depth. Now I always have to start =
again,=20
which kosts an awful amount of time....</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>yours</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Benjamin</FONT></DIV></BODY></HTML>

------=_NextPart_000_001C_01BEADD1.90E2B7E0--

