---
title: "Reflection as a Tool for Integration: An Exercise in Procedural Introspection"
authors:
  - "Robert Ghislanzoni"
  - "Luca Spampinato"
  - "Giorgio Tornielli"
doi: ""
url: "https://ijcai.org/proceedings/1987/9"
pdf: "https://ijcai.org/proceedings/1987/0009.pdf"
venue: "Proceedings of the Tenth International Joint Conference on Artificial Intelligence"
year: 1987
pages: "44-46"
track: "Architectures and Languages"
keywords:
---

# Reflection as a Tool for Integration: An Exercise in Procedural Introspection

Robert Ghislanzoni, Luca Spampinato, Giorgio Tornielli

*Proceedings of the Tenth International Joint Conference on Artificial Intelligence*, pages 44-46.

## Abstract

This p~per reports on a quite large experience in Impleme~tmg ~ procedurally introspective system (PIS), ~LICE~ m which a well known problem is faced: the mte~ation between LISP and Horn clauses. This exercise is motivated by a recognized lack of experience in implementing ~ISs to deal with actual A.I. programming problems. ALICE IS composed of two procedurally introspective languages ~ased <?n ~ISP ~d on Horn clauses, respectively. The mtegration IS achieved by means of a new kind of reflection called ~ut~al reflection. The design of ALICE required the ~eneralization of several concepts and mechanisms introduced m 3-LISP. The discussion is completed with a set of general retrospective considerations.