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.