home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / prolog / 2249 < prev    next >
Encoding:
Internet Message Format  |  1992-12-17  |  2.1 KB
  1. Path: sparky!uunet!mcsun!julienas!sophia!taloa.unice.fr!granit.unice.fr!marti
  2. From: marti@granit.unice.fr (Marti Philippe)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Integrated logical and object-oriented language?
  5. Message-ID: <1g031lINNdmg@taloa.unice.fr>
  6. Date: 7 Dec 92 17:52:53 GMT
  7. References: <1992Dec01.090444.26644@th-ilmenau.RZ.TH-Ilmenau.DE>
  8. Organization: University of Nice - Sophia Antipolis
  9. Lines: 37
  10. NNTP-Posting-Host: granit.unice.fr
  11.  
  12. In article <1992Dec01.090444.26644@th-ilmenau.RZ.TH-Ilmenau.DE>,
  13.  huebner@PrakInf.TH-Ilmenau.DE (Huebner) writes:
  14. |> Hi,
  15. |> 
  16. |> I'm more related with object-oriented programming, but I feel,
  17. |> that it would be nice to have a combination of the expressive
  18. |> power of logical formulas and the means of inheritance of OOP. 
  19. |> Is there a language that tries to integrate these two paradigms?
  20.  
  21.  
  22. Hi, Michael.
  23.  
  24. There is a bunch of tries made to include the object oriented paradigm in the
  25. Prolog language. 
  26. One of them is the ESP (Extended Self Containing Prolog) system which
  27. was developed by the ICOT in Japan. ESP runs only on the parallel machines of the
  28. ICOT but the AI language research institute (a subsidiary of Mistubishi) have
  29. made a UNIX version of this product and distribute it free of charge for R&D
  30. purposes only. This UNIX-ESP is called CESP (for Common-ESP).
  31. You just have to send your adress by mail to cesp-request@air.co.jp and they will
  32. give you a form to fill and the hardware requirements (memory size, OS
  33. version, etc.. ).
  34. After sending them the form and a data cartridge, you will obtain the source
  35. codes and the four volumes documentation (seems really professional...)
  36. I do not argue that this system is the best (I'm not testing it for a long time)
  37. but I think it's a good system for a minimal expense to evaluate a Prolog system
  38. integrating the OO paradigm.
  39.  
  40. (If you want a commercial product, the Delphia Company in Grenoble (France) has
  41. developed HOOK (stands for ???? Oriented Object Kernel) written in Delphia-Prolog.
  42. It's a brand new product so take a look at Delphia's adress in the FAQ and ask
  43. them for further explanation)
  44.  
  45. |> Thanks
  46.  
  47. You're welcome. :)
  48. -- 
  49.