ANN: Dogelog Player 1.3.0 (Graph Plotting)


Admin User, created Feb 24. 2025, modified Feb 26. 2025

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.

For more details: Dogelog

Have Fun!

Kommentare