[comp.lang.prolog] frames

jms@sun.acs.udel.edu (John Milbury-Steen) (11/27/89)

I've felt the need to combine object-oriented programming with
Prolog in the following way: to be able to define a frame
with slot attributes and then generate a new instance of it.
I also would like procedural attachment, so that I can
validate the proposed value of a slot, create secondary
data bases whenever a slot is filled, infer the value of
a slot if it's not explicit, and so on.

Does anyone have a public domain Prolog module that does this?

Does anyone know of a description of such a system in Prolog or
just in plain English?

I use both Quintus and Arity Prolog.
-- 
|   John Milbury-Steen   (302)451-2698   jms@sun.acs.udel.edu |
|   Office of Academic Computing and Instructional Technology |
|   University of Delaware                    Newark DE 19716 |
|   "Intellectual awareness does me no good."                 |