ObjTrans: an intelligent tool for knowledge-object transformation

Abstract

A description is presented of a prototype called ObjTrans which was developed to automate the process of transforming the object structure of object-oriented logic programs called KOs. ObjTrans allows the user to abstract the specification of application KOs, perform a series of primitive operators on the abstracted specification interactively and heuristically, and incrementally reconstruct the specification of KOs resulting from object transformation. ObjTrans is implemented in Smalltalk/V-Prolog/V which does not allow multiple inheritance.<>