Spreadsheets with incremental queries as a user interface for logic programming. New Generation Computing 4(3):287304 (1986)

by M H van Emden, M Ohki, A Takeuchi