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!

Jan Burse, http://www.xlog.ch/ , 26.02.2025