From jan@swi.psy.uva.nl Wed Oct 31 14:03:36 2001
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f9VD3at15084;
	Wed, 31 Oct 2001 14:03:36 +0100 (MET)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.11.3/8.11.3/SuSE Linux 8.11.1-0.5) id f9VD3Z031431;
	Wed, 31 Oct 2001 14:03:35 +0100
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: Wolfram Conen <conen@gmx.de>, prolog@swi.psy.uva.nl
Subject: Re: [SWIPL] Q: Meta-Interpreter for Bottom-Up eval of Datalog+Neg? Tabling plans for SWI?
Date: Wed, 31 Oct 2001 13:56:07 +0100
X-Mailer: KMail [version 1.0.29.2]
Content-Type: text/plain
References: <3BDFC851.4AAD3C1D@gmx.de>
In-Reply-To: <3BDFC851.4AAD3C1D@gmx.de>
MIME-Version: 1.0
Message-Id: <01103114033503.29951@gollem>
Content-Transfer-Encoding: 8bit

On Wed, 31 Oct 2001, Wolfram Conen wrote:
>Hello out there!
>
>Allow the following 3 questions. I would appreciate any answer/hint.
>
>(1) I am looking for a simple meta-interpreter implementing bottom-up
>evaluation of "pure" datalog (w/ negation)
>
>(2) Jan, do you have any plans to implement TABLING sooner or later?

Not really.  `Later' is a long time, so it is always possible that
I come accross a situation where demands and available resources
allow for the implementation of it.  Sofar I've always worked with
hand-coded tabling in situations where I thought it to be useful.
Didn't I see the announcement of a preprocessing based implementation
recently?

>(3) Would it be straightforward to port the SGML/RDF parser to XSB
>(libwww, brrr... ;) or would that require much effort?

I've had this request (for Eclipse though) a couple of weeks ago as
well.  The big thing is to get an XML parser that emits code like the
SWI-Prolog one.   For this particular problem the guy decided to use
the SWI-Prolog RDF parser and load the triples into Eclipse ...

Best option is to write a layer emulating the SWI-Prolog foreign
interface in XSB.  No clue whether this is possible.

	Regards --- Jan

