Spreadsheets with incremental queries as a user interface for logic programming - Van Emden, M. H.; Ohki, Masaru; Takeuchi, Akikazu (1985)