There is not yet parity between BFP and SDL reasoning mechanisms

cliffxuan / fuxi

Automatically exported from code.google.com/p/fuxi

0 stars 0 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

In order to fully deprecate the (currently faulty) SLD / topdown reasoner, the 
new BFP reasoner needs to support all its capabilities.

Original issue reported on code.google.com by chime...@gmail.com on 20 Dec 2010 at 9:38

GoogleCodeExporter commented 9 years ago

Original comment by chime...@gmail.com on 7 May 2011 at 4:21