Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems

The benefits of Logic Programming in system development are that it enables the domain of an application to be described declaratively using Horn clauses, and that such a description can be interactively interrogated in order to examine its logical consequences. This supports the iterative development of an application domain theory based on prototyping. These benefits do not necessarily transfer to the development of highly interactive applications since, in addition to describing an application’s domain theory, we are faced with having to describe the mechanisms of interaction with it. This normally has to be expressed in terms of side-effects.

[1]  Kazunori Ueda.  Making Exhaustive Search Programs Deterministic, Part II , 1987, ICLP.

[2]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[3]  David E. Wolstenholme,et al.  External data in logic-based advice systems , 1990 .

[4]  K. Fuchi,et al.  Concurrent Prolog , 1988 .

[5]  R. Kowalski,et al.  The relation between logic programming and logic specification , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[6]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[7]  Michael A. Harrison,et al.  Complementary methods for the iterative design of interactive systems , 1989 .

[8]  Dov M. Gabbay,et al.  The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.

[9]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[10]  Dov M. Gabbay,et al.  Modal and temporal logic programming , 1987 .

[11]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[12]  Jan Maluszynski,et al.  Logic Programming and Rapid Prototyping , 1987, Sci. Comput. Program..

[13]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[14]  Gavriel Salvendy,et al.  Designing and using human-computer interfaces and knowledge based systems , 1989 .

[15]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[16]  Peter Johnson,et al.  People and Computers: Designing the Interface , 1985 .

[17]  Alan J. Dix,et al.  Formal methods for interactive systems , 1991, Computers and people series.

[18]  Sanjay Manchanda.  A dynamic logic programming language for relational updates , 1987 .

[19]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.