From conen@gmx.de Wed Oct 31 10:46:00 2001
Received: from mail.gmx.net (mail.gmx.net [213.165.64.20])
	by swi.psy.uva.nl (8.11.2/8.11.2) with SMTP id f9V9jxt06779
	for <prolog@swi.psy.uva.nl>; Wed, 31 Oct 2001 10:46:00 +0100 (MET)
Received: (qmail 19535 invoked by uid 0); 31 Oct 2001 09:45:54 -0000
Received: from mashipaug.wi-inf.uni-essen.de (HELO gmx.de) (132.252.53.195)
  by mail.gmx.net (mp011-rz3) with SMTP; 31 Oct 2001 09:45:54 -0000
Sender: conen
Message-ID: <3BDFC851.4AAD3C1D@gmx.de>
Date: Wed, 31 Oct 2001 10:45:53 +0100
From: Wolfram Conen <conen@gmx.de>
Organization: Xonar GmbH
X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.14-5.0smp i686)
X-Accept-Language: en
MIME-Version: 1.0
To: prolog@swi.psy.uva.nl
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Subject: [SWIPL] Q: Meta-Interpreter for Bottom-Up eval of Datalog+Neg? Tabling plans for 
 SWI?

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?

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

Best regards,
	Wolfram
	conen@gmx.de

