Path: utzoo!attcan!uunet!ginosko!brutus.cs.uiuc.edu!usc!pollux.usc.edu!kurtzman
From: kurtzman@pollux.usc.edu (Stephen Kurtzman)
Newsgroups: comp.object
Subject: Re: Object Oriented Logic Programming
Keywords: OOLP, logic programming, object oriented programming
Message-ID: <20233@usc.edu>
Date: 1 Oct 89 07:07:58 GMT
References: <1989Sep30.201033.25047@rpi.edu>
Sender: news@usc.edu
Reply-To: kurtzman@pollux.usc.edu (Stephen Kurtzman)
Organization: University of Southern California, Los Angeles, CA
Lines: 23

In article <1989Sep30.201033.25047@rpi.edu> fargo@pawl.rpi.edu (Irwin M. Fargo) writes:
>Over this last summer, I had the chance of learning both Prolog and Smalltalk.
>This, of course, means that I was introduced to the concepts of object orient-
>ed programming and logic programming.

>Now, after hearing of a seminar on the subject, I am interested in object
>oriented logic programming (OOLP).

>If someone could send me or point me to any information on OOLP (specific ex-
>amples such as OOLP languages) would be greatly appreciated.

Please post any information about this to the net. I'm also interested.

If you are interested in this subject from a database theory point of
view there was a relevant paper presented at the 1989 Sigmod Conference.
The title is "Object Identity as a Query Language Primitive", by Abiteboul
and Kanellakis. The paper presents an object-based data model and a
Prolog-like query language which is strongly typed and can be statically
type checked.
----
Stephen Kurtzman        |    "You might be the largest Elizabeth, but
kurtzman@pollux.usc.edu |     Elizabeth is still a good name to have if
                        |     you're a girl." -- the Roches