Markus Triska
Markus Triska
Hi Klaus, please have a look at this comprehensive collection of resources that are related to the Prolog **ISO standard**: http://www.complang.tuwien.ac.at/ulrich/iso-prolog/ This could be useful for implementors. Maybe it would be...
One very small cosmetic issue I noticed: There is a tendency to use redundant single quotes for atoms. None of the atoms `.`, `#`, `*` etc. need to be quoted....
Thank you very much for sharing these solutions! One small thing I noticed: It seems that some of these programs would benefit from using `phrase_from_file/2` which is available in `library(pio)`....
The README says: > The original version of this translator was written in JavaScript, but a better version has been written in Prolog. The link to the Prolog file yields...
Enhance propagation in the following cases, if possible: ?- X^Y #= 0. X^Y#=0. and: ?- X in 0..100, 2^I #= X. X in 0..100, 2^I#=X. Suggested by @JCumin. These cases...
An interesting use case for the global constraint `nvalue/2` is described by @hugoferreira at: http://stackoverflow.com/questions/41496348/equivalent-of-nvalue-2-from-sicstus-in-swiprolog > For example, if one is trying to distribute stuff into bags of different sizes,...
Witness due to @jburse: ?- 3*X+2*Y #> 100, X in 10..20. X in 10..20, 101#=<3*X+2*Y, Y in 20..sup. `Y` can be reduced to `21..sup`.
`ediprolog` is currently tailored for Scryer Prolog and SWI-Prolog. The idea carries over to other Prolog systems too of course. Already now, there is also a variant for YAP, and Haitao...
The constraint `all_distinct/1` is typically preferable: When `all_distinct/1` is slower than `all_different/1`, it is typically _acceptably_ slower. On the other hand, when `all_different/1` leads to slower programs than using `all_distinct/1`,...