Deductive Spreadsheets Using Tabled Logic Programming

DOI10.1007/11799573_29MaRDI QIDQ5449616zbMATH OpenOpenAlexFDO

Authors C. R. Ramakrishnan, I. V. Ramakrishnan, David S. Warren

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_29

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• The Deductive Spreadsheet
• The Logiform system
• scientific article; zbMATH DE number 2043395
• SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
• Gencel: a program generator for correct spreadsheets

Cited in

(3)

• SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
• XcelLog
• The Deductive Spreadsheet

Describes a project that uses

Uses Software

• XSB
• Excel

This page was built for publication: Deductive Spreadsheets Using Tabled Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449616)