XcelLog

swMATH13878MaRDI QIDQ25789FDOQ25789

Author name not available (Why is that?)

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