XcelLog

swMATH13878MaRDI QIDQ25789FDOQ25789

Author name not available (Why is that?)

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