The 1993 International Logic Programming Symposium was held in Vancouver, British Columbia, on 26-29 October. It presented the state of the art in logic programming, emphasizing the deliberate interaction with other fields, in particular, humanistic fields. Topics covered at the symposium included algorithmic analysis, programming methodologies, semantic analysis, deductive databases, and programming language design. The years of unrelenting development by these pioneers and other wonderful people have brought the field to a stage of maturity that makes more deliberate interactions with other fields possible and desirable and that gives us enough perspective to consider our field from wider viewpoints, such as the philosophical. The 1993 International Logic Programming Symposium, held in Vancouver, British Columbia, on 26-29 October, presented the state of the art in logic programming and also emphasized these other viewpoints.

See Steamer: an Interactive Inspectable Samulation-Based Reid.

This article describes our initial experience with building applications programs in a hybrid AI tool environment. Traditional AI systems developments have emphasized a single methodology, such as frames, rules or logic programming, as a methodology that is natural, efficient, and uniform. The applications we have developed suggest that natural-ness, efficiency and flexibility are all increased by trading uniformity for the power that is provided by a small set of appropriate programming and representation tools. The tools we use are based on five major AI methodologies: frame-based knowledge representation with inheritance, rule-based reasoning, LISP, interactive graphics, and active values. Object-oriented computing provides a principle for unifying these different methodologies within a single system.

This article presents a dual dependency between AI and programming methodologies. AI is an important source of ideas and tools for building sophisticated support facilities which make possible certain programming methodologies. These advanced programming methodologies in turn can have profound effects upon the methodology of AI research. Finally speculations about a more direct connection between AI and partial evaluation are presented.

This article presents a dual dependency between AI and programming methodologies. AI is an important source of ideas and tools for building sophisticated support facilities which make possible certain programming methodologies. These advanced programming methodologies in turn can have profound effects upon the methodology of AI research. Both of these dependencies are illustrated by the example of anew experimental programming methodology which is based upon current AI ideas about reasoning, representation and control. The manner in which AI systems are designed, developed and tested can be significantly improved in the programming is supported by a sufficiently powerful partial evaluator. In particular, the process of building levels of interpreters and of intertwining generate and test can be partially automated. Finally speculations about a more direct connection between AI and partial evaluation are presented.

This language must satisfy minimal criteria, as follows.