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 gets direct visual feedback, on the other hand, fu...

Full description

Saved in:
Bibliographic Details
Main Authors: Spenke, M., Beilken, C.
Format: Conference Proceeding
Language:English
Subjects:
Computing methodologies > Artificial intelligence > Knowledge representation and reasoning > Logic programming and answer set programming
Computing methodologies > Computer graphics > Graphics systems and interfaces
Human-centered computing > Human computer interaction (HCI)
Human-centered computing > Human computer interaction (HCI) > Interaction devices > Graphics input devices
Information systems > Data management systems > Database management system engines > Database query processing
Software and its engineering > Software notations and tools > Development frameworks and environments
Software and its engineering > Software notations and tools > General programming languages > Language types
Theory of computation > Logic > Constraint and logic programming
Theory of computation > Theory and algorithms for application domains > Database theory > Database query processing and optimization (theory)
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0736-6906
DOI:10.1145/67449.67466