ANN: Dogelog Player 1.3.0 (Graph Plotting)

Dear All,

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

- Enhanced library(lists):
We made the predicate free_variables/3 now public in library(lists). It implements then ISO core standard specification ISO 7.1.1.4 of witness variables. The predicate does not appear in the Novacore kernel.

- Enhanced library(sequence):
As an alternative we provide a new predicate firstof/2. The predicate is bootstraped from what is used in distinct/1, but makes use of free_variables/3 to determine the keys for deduplication during backtracking. Has more logical properties than distinct/2.

- New library(plot):
The library(plot) can generate line plots in the form of a SVG element. We currently provide the predicates plot/1 and plot/2 which take a list of points (x,y1,..,yn) and plot the lines (x,y1) ... (x,yn). The binary predicate allows specifying various plot options.

Have Fun!