next up previous contents index
Next: Random Number Generator Up: Library Utilities Previous: Extended Logic Programs   Contents   Index


Generalized Annotated Programs

Generalized Annotated Programs (GAPs) [5] offer a powerful computational framework for handling paraconsistentcy and quantitative information within logic programs. The tabling of XSB is well-suited to implementing GAPs, and the gap library provides a meta-interpreter that has proven robust and efficient enough for a commercial application in data mining. The current meta-interpreter is limited to range-restricted programs.

A description of GAPs along with full documentation for this meta-interpreter is provided in [7] (currently also available at http://www.cs.sunysb.edu/$\sim$tswift). Currently, the interface to the GAP library is through the following call.

meta(?Annotated_atom)
gap
If Annotated_atom is of the form Atom:[Lattice_type,Annotation] the meta-interpreter computes bindings for Atom and Annotation by evaluating the program according to the definitions provided for Lattice_type.



Baoqiu Cui
2000-04-23