🚀 go-pugleaf

In article <1992Dec01.090444.26644@th-ilmenau.RZ.TH-Ilmenau.DE>,
 huebner@PrakInf.TH-Ilmenau.DE (Huebner) writes:
|> Hi,
|> 
|> I'm more related with object-oriented programming, but I feel,
|> that it would be nice to have a combination of the expressive
|> power of logical formulas and the means of inheritance of OOP. 
|> Is there a language that tries to integrate these two paradigms?


Hi, Michael.

There is a bunch of tries made to include the object oriented paradigm in the
Prolog language. 
One of them is the ESP (Extended Self Containing Prolog) system which
was developed by the ICOT in Japan. ESP runs only on the parallel machines of the
ICOT but the AI language research institute (a subsidiary of Mistubishi) have
made a UNIX version of this product and distribute it free of charge for R&D
purposes only. This UNIX-ESP is called CESP (for Common-ESP).
You just have to send your adress by mail to cesp-request@air.co.jp and they will
give you a form to fill and the hardware requirements (memory size, OS
version, etc.. ).
After sending them the form and a data cartridge, you will obtain the source
codes and the four volumes documentation (seems really professional...)
I do not argue that this system is the best (I'm not testing it for a long time)
but I think it's a good system for a minimal expense to evaluate a Prolog system
integrating the OO paradigm.

(If you want a commercial product, the Delphia Company in Grenoble (France) has
developed HOOK (stands for ???? Oriented Object Kernel) written in Delphia-Prolog.
It's a brand new product so take a look at Delphia's adress in the FAQ and ask
them for further explanation)

|> Thanks

You're welcome. :)
--