Release 2.1.2
The following features and bug fixes were provided for the
Dogelog player of version 2.1.2:
Language Reference
- The predicate compare/3 moved to library(sets).
- The predicates (@<)/2, (@>=)/2, etc. moved to
library(sets).
- The predicate call_nth/2 moved to library(comp).
- The predicate trace/1 moved to library(session).
- The predicate atom_time/1 moved to library(charsio).
- New library(hiord) for higher order introduced.
- The predicate free_variables/3 moved to library(hiord).
- The predicates call/n moved to library(hiord).
- New arrow functions (=>)/n introduced in library(hiord).
- The predicate acyclic_term/1 moved to library(cyclic).
- The predicate acyclic_factorized/2 moved to library(cyclic).
- The arrow functions (=>)/n restricted to the monomorphic
case.
- The predicate free_variables/3 has now a construction mode.
Host Interface
- New exec_deref() and is_pending() introduced.
- The bidirectional tests now use deferred build.
- The arrow functions (=>)/n now compiled inside static
predicates.
- The arrow functions (=>)/n now decompiled for listing and
trace.