next up previous contents index
Next: Bibliography Up: Other XSB Packages Previous: slx: Extended Logic Programs   Contents   Index


gap: Generalized Annotated Programs

Generalized Annotated Programs (GAPs) [12] offer a powerful computational framework for handling paraconsistency 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 [15] (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.



Luis Fernando P. de Castro 2003-06-27