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.