More Web Proxy on the site http://driver.im/

Article

Free access

A spreadsheet interface for logic programming

Authors:

C. BeilkenAuthors Info & Claims

CHI '89: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

Pages 75 - 80

https://doi.org/10.1145/67449.67466

Published: 01 March 1989 Publication History

Abstract

We present PERPLEX, a programming environment intended for the end-user. In its design, the concepts of logic programming and spreadsheets are combined. Thus, on the one hand, logic programming becomes an interactive, incremental task where the user gets direct visual feedback, on the other hand, functionality and scope of a conventional spreadsheet program are considerably extended. In order to perform calculations and queries, constraints are imposed on the contents of the spreadsheet cells. New predicates can be defined using a programming-by-example technique: Rules are extracted from the user's solutions for example problems. Thus, concrete intermediate results take over the role of abstract logic variables in the programming process. PERPLEX has been successfully implemented on a Symbolics Lisp Machine.

References

[1]

Dearie E. Arganbright: Mathematical Modeling with Spreadsheets, ABACUS, 3(4) Summer 86, pp 18-31.

Digital Library

[2]

Giuseppe Attardi, Maria Simi: Extending the Power of Programming by Example, in: J.O. Limb (Ed.): SIGOA Conference on Office Information Systems, Philadelphia, PA, 21-23 June 1982, pp 52-66.

Digital Library

[3]

Michael A. Bauer: Programming by Examples, Artificial Intelligence 12,1979, pp 1-21.

Digital Library

[4]

Rudolf Beyer: Database Technology for Expert Systems, in: Intemationaler GI-Kongre6 85: "Wissensbasierte Systeme", 29. October 1985, Mtinchen, GI Tagungsbar, d, Informatik Fachberichte 112, Springer-Verlag 1985, pp 1-16.

[5]

Alan Borning: The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM TOPLAS, 3(4), October 1981, pp 353-387.

Digital Library

[6]

Mary V. Campbell: Excel Macro Treasury, Macworld, November 1987, pp 122-125.

[7]

Alain Colmerauer: Opening the Prolog HI Universe, BYTE, August 1987, pp 177-158.

Digital Library

[8]

Marc Eisenstadt, Tony Hasemer, Frank Kriwaczek: An Improved User Interface for PROLOG, In: B. Shackel (Ed.): Human-Computer Interaction-- INTERACT '84, Elsevier Science Publishers B.V., 1985, pp 385-389.

[9]

M.H. van Emden, M. Ohki, A. Takeuchi: Spreadsheets with Incremental Queries as a User Interface for Logic Programming, ICOT Technical Report, TR-}44, October 1985.

[10]

Gemoth G. Grunst: Reconstructing Cooperative Advising--interaction Analysis as a Research Tool for the Development of Intelligent Assistants, internal Paper, 1988, GMD.

[11]

Daniel C. Halbert: Programming by Example, PhD Thesis, Computer Science Division, Dept. of EE&CS, University of California, Berkeley 1984.

Digital Library

[12]

Frank Kriwaczek: LogiCale--A PROLOG Spreadsheet, in: Bob Kowalski, Frank Kriwaczek: Logic Programming, Addison-Wesley 86, pp 105-117.

[13]

Catherine Lassez: Constraint Logic Programming, BYTE, August 1987, pp 171-176.

Digital Library

[14]

Wm Leler: Constraint Programming Languages, Their Specification and Generation, Addison- Wesley 1988.

Digital Library

[15]

Henry Lieberman, Carl Hewitt: A Session With TINKER: Interleaving Program Testing With Program Design, Conference Record of the 1980 LISP Conference, Stanford University, August 1980, pp 90-99.

Digital Library

[16]

Brad A. Myers: Visual Programming, Programming by Example, and Program Visualization: A Taxonomy, in: Marilyn Mantei, Peter Orbeton (Eds): Human Factors in Computing Systems--III, Proceedings of the CHI '86 Conference, Boston, MA, 13-17 April 1986, pp 59-66.

Digital Library

[17]

M. Ohki, A. Takeuchi, K. Fund~wa: A Framework for Interactive Problem Solving based on Interactive Query Revision, ICOT Technical Report, TR-188, June 1986.

[18]

Kurt W. Piersol: Object oriented Spreadsheets: The Analytic Spreadsheet Package, ACM OOPSLA Proceedings, September 1986, pp 385-390.

Digital Library

[19]

Uday S. Reddy: On the Relationship between Logic and Functional Languages, in: Doug De Groot, Gary Lindstrom (Eds): Logic Programming, Functions, Relations and Equations, Prentice Hall, 1986, pp 3-35.

[20]

Robert V. Rubin, Eric J. Golin, Steven P. Reiss: ThinkPad: A Graphical System for Programming by Demonstration, IEEE Software, March 1985, pp 73-79.

[21]

John F. Rockart, Lauren S. Flannery: The Management of End User Computing, Communications of the ACM, 26(10), October 1983, pp 776-784.

Digital Library

[22]

Nan C. Shu: FORMAL: A Forms-Oriented, Visual- Directed Application Development System, IEEE Computer, August 1985, pp 38-49.

Digital Library

[23]

Michael Spenke, Christian Beilken: The Implementation of PERPLEX: A Spreadsheet Interface for Logic Programming by Example, Internal Research Report FB-GMD-88-29, GMD, 1988, 86 pages.

[24]

Gerald Jay Sussman, Guy Lewis Steele Jr.: CONSTRAINTS---A Language for Expressing Almost-Hierarchical Descriptions, Artificial intelligence 14, 1980, pp 1-39.

[25]

Mosh6 M. Zloof, S. Peter de Jong: The System for Business Automation (SBA): Programming Language, Communications of the ACM 20(6), June 1977, pp 385-396.

Digital Library

[26]

Mosh6 M. Zloof: Query-by.Example: a data base language, IBM System Journal 16(4), 1977, pp 324- 343.

Digital Library

[27]

Mosh6 M. Zloof: QBE/OBE: A Language for Office and Business Automation, IEEE Computer 14(5), May 1981, pp 13-22.

Digital Library

Cited By

Bakke EKarger DÖzcan FKoutrika GMadden S(2016)Expressive Query Construction through Direct Manipulation of Nested Relational ResultsProceedings of the 2016 International Conference on Management of Data10.1145/2882903.2915210(1377-1392)Online publication date: 26-Jun-2016
https://dl.acm.org/doi/10.1145/2882903.2915210
Jagadish HQian LNandi A(2015)Organic databasesInternational Journal of Computational Science and Engineering10.1504/IJCSE.2015.07265111:3(270-283)Online publication date: 1-Oct-2015
https://dl.acm.org/doi/10.1504/IJCSE.2015.072651
Cervesato ICervesato I(2013)The Deductive SpreadsheetThe Deductive Spreadsheet10.1007/978-3-642-37747-1_6(183-252)Online publication date: 20-May-2013
https://doi.org/10.1007/978-3-642-37747-1_6
Show More Cited By

Index Terms

Recommendations

Intensional logic programming
From answer set logic programming to circumscription via logic of GK

We first embed Pearce's equilibrium logic and Ferraris's propositional general logic programs in Lin and Shoham's logic of GK, a nonmonotonic modal logic that has been shown to include as special cases both Reiter's default logic in the propositional ...
A spreadsheet interface for logic programming

We present PERPLEX, a programming environment intended for the end-user. In its design, the concepts of logic programming and spreadsheets are combined. Thus, on the one hand, logic programming becomes an interactive, incremental task where the user ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CHI '89: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

March 1989

397 pages

ISBN:0897913019

DOI:10.1145/67449

Editors:
K. Bice
Texas Instruments
,
C. Lewis
Univ. of Colorado, Boulder, CO

ACM SIGCHI Bulletin Volume 20, Issue SI
March 1989
374 pages
ISSN:0736-6906
DOI:10.1145/67450
Editors:
K. Bice
Texas Instruments
,
C. Lewis
Univ. of Colorado, Boulder, CO
Issue’s Table of Contents

Copyright © 1989 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

CHI '89 Paper Acceptance Rate 54 of 199 submissions, 27%;

Overall Acceptance Rate 6,199 of 26,314 submissions, 24%

Upcoming Conference

CHI 2025

Sponsor:
sigchi

ACM CHI Conference on Human Factors in Computing Systems

April 26 - May 1, 2025

Yokohama , Japan

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

26
Total Citations
View Citations
761
Total Downloads

Downloads (Last 12 months)85
Downloads (Last 6 weeks)9

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bakke EKarger DÖzcan FKoutrika GMadden S(2016)Expressive Query Construction through Direct Manipulation of Nested Relational ResultsProceedings of the 2016 International Conference on Management of Data10.1145/2882903.2915210(1377-1392)Online publication date: 26-Jun-2016
https://dl.acm.org/doi/10.1145/2882903.2915210
Jagadish HQian LNandi A(2015)Organic databasesInternational Journal of Computational Science and Engineering10.1504/IJCSE.2015.07265111:3(270-283)Online publication date: 1-Oct-2015
https://dl.acm.org/doi/10.1504/IJCSE.2015.072651
Cervesato ICervesato I(2013)The Deductive SpreadsheetThe Deductive Spreadsheet10.1007/978-3-642-37747-1_6(183-252)Online publication date: 20-May-2013
https://doi.org/10.1007/978-3-642-37747-1_6
Cervesato ICervesato I(2013)IntroductionThe Deductive Spreadsheet10.1007/978-3-642-37747-1_1(1-23)Online publication date: 20-May-2013
https://doi.org/10.1007/978-3-642-37747-1_1
Jagadish HNandi AQian L(2011)Organic databasesProceedings of the 7th international conference on Databases in Networked Information Systems10.1007/978-3-642-25731-5_5(49-63)Online publication date: 12-Dec-2011
https://dl.acm.org/doi/10.1007/978-3-642-25731-5_5
Tallis MBalzer R(2010)A Deductive Spreadsheet System for End UsersIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2010.8122:11(1563-1576)Online publication date: Nov-2010
https://doi.org/10.1109/TKDE.2010.81
Liu BJagadish H(2009)A Spreadsheet Algebra for a Direct Data Manipulation Query InterfaceProceedings of the 2009 IEEE International Conference on Data Engineering10.1109/ICDE.2009.34(417-428)Online publication date: 29-Mar-2009
https://dl.acm.org/doi/10.1109/ICDE.2009.34
Cox PNicholson P(2008)Unification of arrays in spreadsheets with logic programmingProceedings of the 10th international conference on Practical aspects of declarative languages10.5555/1785754.1785762(100-115)Online publication date: 7-Jan-2008
https://dl.acm.org/doi/10.5555/1785754.1785762
Tallis MBalzer R(2008)A Functional Spreadsheet Framework for Authoring Logic Implication RulesProceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web10.1007/978-3-540-88808-6_23(219-226)Online publication date: 30-Oct-2008
https://dl.acm.org/doi/10.1007/978-3-540-88808-6_23
Cox P(2007)Enhancing the Programmability of Spreadsheets with Logic ProgrammingProceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing10.1109/VLHCC.2007.18(87-94)Online publication date: 23-Sep-2007
https://dl.acm.org/doi/10.1109/VLHCC.2007.18
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents