XcelLog

MaRDI QIDQ25789swMATHFDO

Official website http://www3.cs.stonybrook.edu/~cram/Papers/RRW_KER07/

Described by source

• Deductive Spreadsheets Using Tabled Logic Programming

Cited in

(2)

• XSB: extending Prolog with tabled logic programming
• Incremental Tabling in Support of Knowledge Representation and Reasoning

This page was built for software: XcelLog