Xref: utzoo comp.lang.prolog:3364 comp.ai:7958
Path: utzoo!attcan!uunet!cs.utexas.edu!rice!uw-beaver!cornell!feldman
From: feldman@kama.cs.cornell.edu (Ronen Feldman)
Newsgroups: comp.lang.prolog,comp.ai
Subject: Looking for Real-World Domain Theory
Message-ID: <47980@cornell.UUCP>
Date: 5 Nov 90 23:28:22 GMT
Sender: nobody@cornell.UUCP
Reply-To: feldman@cs.cornell.edu (Ronen Feldman)
Organization: Cornell Univ. CS Dept, Ithaca NY
Lines: 15


I'm doing some work in optimization of domain theories (which are
actually prolog programs). After getting good results with some toy
domains , I wish to try my methods on large scale domain theories.
Does anyone has/knows of a reference to such a domain theory. The area
is totally unimportant, it can be any engineering domain,biological
domain etc.
Even an expert system of some kind where the rules are in a separate
module from the inference engine will be great.

Any help will be greatly appreciated.

Thanks

Ronen Feldman (feldman@cs.cornell.edu)