Abstract

Logic Programming applications and environment tools use a great variety of data representations and interaction paradigms, precluding data sharing and reusing data interaction routines defined by applications dealing with large and complex terms. To overcome these problems and towards simplifying the development of an integrated spreadsheet-like environment, we propose the creation of a common framework for user interaction in Logic Programming. A prototype of the proposed framework, implemented in Prolog with an interface to the X windowing system, is also described. 1 Introduction Logic Programming (LP) applications dealing with large and complex data require special visualizations/manipulations adapted to the standard graphical representations used in their fields (cf. [2] for situation semantics and [11] for natural language processing). These special interaction predicates are difficult to develop and reuse by other environment tools, such as debuggers. On the other hand, LP env...

Citations