Reflection as a tool for integration: an exercise in procedural introspection

Authors:
Roberto Ghislanzoni;Luca Spampinato;Giorgio Tornielli
Affiliations:
Dipartimento di Scienze della formazione, University di Milano, Italy;Quinary, Milano, Italy;Dipartimento di Scienze della formazione, University di Milano, Italy
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Year:
1987

Citing 2
Cited 0

The art of Prolog: advanced programming techniques

The art of Prolog: advanced programming techniques
The mystery of the tower revealed: a non-reflective description of the reflective tower

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper reports on a quite large experience in implementing a procedurally introspective system (PIS), ALICE, in which a well known problem is faced: the integration between LISP and Horn clauses. This exercise is motivated by a recognized lack of experience in implementing PISs to deal with actual A.I. programming problems. ALICE is composed of two procedurally introspective languages based on LISP and on Horn clauses, respectively. The integration is achieved by means of a new kind of reflection called mutuai reflection. The design of ALICE required the generalization of several concepts and mechanisms introduced in 3-LISP. The discussion is completed with a set of general retrospective considerations.