Generalized Annotated Programs (GAPs)  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  (currently also available at http://www.cs.sunysb.edu/tswift). Currently, the interface to the GAP library is through the following call.