Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!news.duke.edu!news-feed-1.peachnet.edu!gatech!howland.reston.ans.net!Germany.EU.net!Munich.Germany.EU.net!ecrc!acrab60!thom
From: thom@ecrc.de (Thom Fruehwirth)
Subject: Re: OO in Prolog
Message-ID: <D4rqsM.1Go@ecrc.de>
Sender: news@ecrc.de
Reply-To: thom@ecrc.de
Organization: European Computer-Industry Research Centre GmbH.
References: <HSCHOTEL-0103951432460001@atdmac10.let.kun.nl>
Date: Wed, 1 Mar 1995 15:53:09 GMT
Lines: 13

Two libraries of the Eclipse constraint logic programming platform may be
of interest for object-oriented programming in logic:

Look at the user manual Appendix A.16 (structures with field names)
and at the 'kl-one' library of the constraint handling rules library
for terminological reasoning.

Eclipse WWW home page is http://www.ecrc.de/eclipse/eclipse.html
For more information, send a mail to eclipse_request@ecrc.de.

thom


