The following experimental meta-interpreters and
preprocessors have been implemented using the XSB system and are
stored as gzipped, uuencoded tar files.
Selected Meta-interpreters and Pre-processors:
-
Benchmark programs used in the paper Incremental Tabling in Support
of Knowledge Representation and Reasoning (large)
download
-
A meta-interpreter for generalized annotated logic programs (to be
included in XSB versions 2.0 and above): (Note this meta-interpreter
is included in XSB Versions 2.0 and above). See the following paper for a description of the
types of generalized annotated logic programs supported.
-
A meta-interpreter for Abdual, a method for evaluating abductive
frameworks, written by Jose Alferes, Luis Pereira and Terrance
Swift: download. See the
following paper for a description
of Abdual.
-
A preprocessor that transforms Preference Logic Programs to a form
directly evaluable with XSB:
download. See the
following paper for a
description of Preference Logic Programs and of the transformation
used.