[comp.lang.prolog] Explanations with LPA-Prolog and FLEX

neuhaus1@urz.unibas.ch (02/15/91)

WHO is working with LPA-Prolog and FLEX on MAC ???
==================================================


My name is Dirk Neuhaus, and I am currently working in the field of expert-
systems here at the computer science department at the university of Basel.

In my doctoral thesis I want to build an expert system for financial advices.
Now I am developing a little prototype and for the implementataion I use
LPA-Prolog 3.0 and FLEX 1.2.

My problem is to develop a powerful explanation part for my expert-system.
(WHY, -HOW, and WHAT-IF-Explanations)

So, here are my questions

	1. Is there anybody out there who has set up a 
	   * WHY-
	   * HOW-
	   * WHAT-If - Explanation 
           with the Tool LPA-Prolog and FLEX ?

	2. Can you give me some advices to develop explanations for
	   a forward inference engine in general ?

Any information on the above subject is welcome. You can reach me via

e-mail 	: NEUHAUS1@URZ.UNIBAS.CH

Phone	: ++41 +61 293228

Mail	: Dirk Neuhaus
	  Institut fuer Informatik
	  Universitaet Basel
	  WWZ
	  Am Petersgraben 51

	  CH-4051 Basel



Thank you very much in advance,

   Dirk Neuhaus