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.