Release 2.1.3

The following features and bug fixes were provided for the Dogelog player of version 2.1.3:

Language Reference

• New predicates dict_set/3 and dict_add/3 in library(misc/dict) introduced.
  
• New predicate dict_remove/2 in library(misc/dict) introduced.
• New predicate tuple_list/2 in library(hiord) introduced.
• The debugger command trace/1 has been removed.
  
• New debugger command trace/0 introduced.
  
• The debugger now shows variable names from the top-level.
  
• New write option anonymous/1 from PIP0105 introduced.
• The predicates numbervars/3 and unnumbervars/3 moved to library(hiord).
  
• New predicate maxvars/2 in library(hiord) introduced.
  
• The predicates maplist/n and foldl/n moved to library(sets).
  
• The predicates filter/3 moved to library(sets) as include/3.
  
• New predicate phrase/3 in core introduced.
  
• The predicate phrase/3 is now used in (-->)/2 for non-terminal variables.
• New library(arrow) to make arrow functions available on request.
• New library(railgun) with Lean CLP v1 introduced.
  

Host Interface

• The domain www.xlog.ch discontinued in favour of www.herbrand.ai.
  
• New environment variable TERM_SCHEME with recognized value dark.
• The parser can now read A.B as ‘$DOT’(A,B).
  
• The unparser can now write ‘$DOT’(A,B) as A.B.
• The parser can now read P => G as ‘$ANON’(H,K,B, ...).
  
• The unparser can now write ‘$ANON’(H,K,B, ...) as P => G.