Spreadsheets with Incremental Queries as a user interface for logic programming
We believe that currently marketed programs leave unexploited much of the potential of the spreadsheet interface. The purpose of our work is to obtain suggestions for wider application of this interface by showing how to obtain its main features as a subset of logic programming. Our work is based on two observations. The first is that spreadsheets would already be a useful enhancement to interactive languages such as APL and Basic. Although Prolog is also an interactive language, this interface cannot be used in the same direct way. Hence our second observation: the usual query mechanism of Prolog does not provide the kind of interaction this application requires. But it can be provided by the Incremental Query, a new query mechanism for Prolog. The two observations together yield the spreadsheet as a display of the state of the substitution of an incremental query in Prolog. Recalculation of dependent cells is achieved by automatic modification of the query in response to a new increment that would make it unsolvable without the modification.
KeywordsSpreadsheet User Interface Logic Programming Incremental Query Interactive Problem Solving
Unable to display preview. Download preview PDF.
- 1).van Emden, M. H., “Logic As An Interaction Language,”Proc. 5th Conf. Canadian Soc. for Computational Studies in Intelligence, pp. 126–128, 1984.Google Scholar
- 2).Bowen, D. L., Pereira, L. M., Pereira, F. C. N. and Warren, D. H. D., “User’s guide to DEC system-10 Prolog,” Dept. of Artificial Intelligence, University of Edinburgh, 1982.Google Scholar
- 3).Sergot, M.,Private communication.Google Scholar
- 4).Heckel, P.,The Elements of Friendly Software Design. Warner Books, 1984.Google Scholar
- 5).Kriwaczek, F. “Some Application of PROLOG to Decision Support Systems,”MSc report, Imperial College, London, 1982.Google Scholar
- 6).Kriwaczek, F., “LogiCalc — A Prolog Spreadsheet,” to appear inMachine Intelligence, 11, D. Michie and J. Hayes (eds.).Google Scholar