Contents of Report

[Data of Report]

Report Number:: TR0144
Date of Registration:: 1985.10
English Title:: Spreadsheets with Incremental Queries as a User Interface for Logic Programming
Japanese Title:: ***
English Author:: M.H.van Emden,M.Ohki,A.Takeuchi
Japanese:: ***
Name of Organization to which author belongs:: Univ.of Waterloo,ICOT,ICOT
PDF:: tr0144.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	How to Generalize TYPICALC	.... 3
3	A Spreadsheet Interface for Logic Programs	.... 4
3.1	Incremental Queries	.... 4
3.2	A Program for Incremental Queries	.... 5
3.3	A Spreadsheet Interface Based an Incremental Queries	.... 10
4	TYPICALC as a Subset of Prolog Augmented by a Spreadsheet Interface	.... 11
5	Constraint Cancellation ; An Additional Tool in Interactive Problem-solving	.... 13
6	Conclusion	.... 15
	Acknowledgments	.... 16
	References	.... 16
	Appendix	.... 16
	End	.... 20

目次をクリックすると、PDFファイルが表示されます。