Subject: [SWIPL] Q: Meta-Interpreter for Bottom-Up eval of Datalog+Neg? Tabling plans for SWI?

From: Wolfram Conen <[email-masked]>
Date: Wed, 31 Oct 2001 10:45:53 +0100

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
	[email-masked]