Prova 2.0 Alpha released

Dear All,

 

Prova 2.0 Alpha has been released on SourceForge.net. This release
includes a non-recursive engine re-written by Adrian Paschke that
includes tabling based on SLDNF (as opposed to SLG in XSD Prolog) along
with many other enhancements. It also includes the DL-typed Datalog and
Hornlog integration of OWL. This allows for yet another mechanism of a
rules<->OWL integration based on polymorphic order-sorted DL-typed
unification. I will post the link to the relevant Adrian's paper later.

 

Alex