ANN: Dogelog Player 2.1.5 (Basic Indexicals)

Dear All,

We are happy to announce a new edition of the Dogelog Player:

- Enhanced core:
Special values are numbers, but neither integer nor float. The introduced special values so far are positive and negative infinity denoted by 0rInf respectively -0rInf. Comparisons such as max/3, (<)/2, etc.. has been extended, but otherwise an error is thrown.

- Enhanced library(compat):
We did some predicate reshuffling, like the predicate acyclic_term/1 went from library(compat) to library(cycle) and the predicate divmod/4 went from library(math) to library(compat). A new evaluable function in library(compat) is gcd/3, which has been natively realized for the JavaScript, Python and Java target.

- New Basic Indexicals:
In search of the ultimate perfect crystal skull for some new Railgun CLP(Z) v11, that will compete with Z3 and Gecode, we found ghost patterns of Rina Dechters Bucket elimination. The buckets are now dancing and singing equipped with interval arithmetic and linear form detection, not running in circles because we do without propagation fixpoints.

Have Fun!