maths / press Goto Github PK

Hello,

Thank you for the great effort you put in porting PRESS to SWI Prolog. I have a question if you don't mind. You mention in the Readme that "Not all parts of PRESS are running correctly yet" and I wonder about the exact meaning of this.

Does it mean that:
(i) not all parts have been ported to SWI, which simply means that the knowledge domain of the SWI port is smaller than the original one,
(ii) some parts have not been ported, but they can be reached via ported predicates i.e. undefined-procedure exceptions might rise during program execution,
(iii) some parts produce incorrect results (unlikely but want to make sure :-) ),
(iv) something else perhaps.

Many thanks.