Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clarification Request #1

Open
aminemarref opened this issue Nov 4, 2019 · 1 comment
Open

Clarification Request #1

aminemarref opened this issue Nov 4, 2019 · 1 comment

Comments

@aminemarref
Copy link

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.

@sangwinc
Copy link
Member

sangwinc commented Nov 4, 2019

Sorry, it is some time since I looked at this. I think I mean (i).
I also was only interested in the maths, so I didn't look at any interface Press might have had.
Chris

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants