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