Comments (7)
@jeshan: Yes, I would greatly appreciate your help with porting newer developments from Scryer Prolog to the SICStus version!
I think a good way to do this would be a series of commits that correspond to the ones available in Scryer Prolog, and maybe even reference them. You can do this for example for the commits you find most relevant or interesting and which can easily be ported in this way. I think this would be a good starting point.
Another good approach would be to reduce the existing differences between the versions in a way that can be easily seen to be correct. For instance, one could start with lines that are comments in both files, and have one commit that reduces the differences between these comments in the source code.
Yet another approach could be useful for differences that arose only due to early limitations in Scryer Prolog that now no longer exist. For instance, at some point during its development, Scryer Prolog did not yet support the discontiguous/1
directive, and so I had to move clauses around to make them contiguous. Obviously, Scryer Prolog has now far surpassed this stage, and such a difference between the two versions is now no longer needed. This is an example where maybe the Scryer version could more closely follow the SICStus version again, if it is indeed preferable to keep the clauses discontiguous in the source code.
Thank you a lot to everyone who is interested in helping with this! If you have any questions, please let me know any time!
from clpz.
This particular PR does not include all the improvements that happened in Scryer so far. As an exemple:
| ?- X #= sign(-10).
! Domain error in argument 1 of user:unknown/1
! expected clpz_expression, but found sign(-10)
! goal: unknown(sign(-10))
whereas in Scryer:
?- X #= sign(-10).
X = -1.
from clpz.
No PR is being filed here, this issue is the discussion about how to best synchronize the versions. A PR could be a result of this discussion.
from clpz.
Understood. I guess it will have to be manual changes for a long while: I'm hoping that someday we'll have only 1 file to change!
@UWN did you intend to comment on issue #27 and not issue #28 ? Even so, I think #27 is for a different subject. Let me know so I look into it.
from clpz.
See my other comment. To me, it all looks the same...
from clpz.
I have one general comment for porting changes: The focus should be on the commits that went into Scryer Prolog, not the PRs! That is: To port a commit that went into Scryer Prolog, it would be best to reference the commits by their hash and/or copy their descriptions, and maybe optionally also reference the PR (if there is one), because it may contain interesting discussion etc. But the commits are what counts because they are permanent, whereas PRs only make sense as long as Github exists.
from clpz.
(It is OK to reference multiple commits in a single commit, if it makes sense to port the commits as a unit!)
from clpz.
Related Issues (20)
- Test cases HOT 3
- Sum propagation in clp(fd) HOT 2
- Integration with `library(reif)`? HOT 5
- Assert domain from set of values HOT 4
- Bug CLP(B) and CLP(FD) dont work together HOT 2
- Bug multiple sat/1 combined with weighted_maximum/3
- Domain error after some level of backtracking with clpz: error(domain_error(clpz_expression,[]),unknown([])-1) HOT 9
- sign/1 lacking HOT 2
- Faraway bug
- Documentation: unnecessary functional notation.
- leaking constraints HOT 4
- tuples_in/2 misses tuple_domain/2 HOT 3
- tuples_in/2 non-relational HOT 2
- clpz: lots of unexpected constraints HOT 1
- More general global_cardinality/3
- addition example is slow to fail HOT 14
- Unification may fail with user attributes HOT 4
- Stronger nvalue/2 constraint
- nvalue/2 non-monotonic HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from clpz.