[Info-gnuprologjava] Tracking the failure path

[Ul Mehdi Anees]

Hello all,

 

Is there any prolog implementation (java library) which tracks failure of a query. For example, if a rule fails, I need to know exactly due to which atom/reason it failed.

 

 

Thank You

 

----------------------------------------------------------

Anees ul Mehdi, Dr.Ing, Senior Software Engineer

e.solutions GmbH

 

Am Wolfsmantel 46, 91058 Erlangen, Germany

 

Registered Office:

Pascalstr. 5, 85057 Ingolstadt, Germany

 

Phone +49-8458-3332-723

Fax +49-8458-3332-20723

address@hidden

 

 

e.solutions GmbH

Managing Directors Uwe Reder, Dr. Riclef Schmidt-Clausen

Register Court Ingolstadt HRB 5221