Release 2.1.5
The following features and bug fixes were provided for the
Dogelog player of version 2.1.5:
Language Reference
- New library(attrvars) with legacy Lean CLP v1 introduced.
- New predicate must_be/2 in the core introduced.
- New evaluable function inf/1 in the core introduced.
- New literal syntax 0rInf and -0rInf in the core introduced.
- The evaluable function -/2 now supports 0rInf and -0rInf.
- The evaluable functions min/3 and max/3 now support 0rInf and
-0rInf.
- The predicates (=:=)/2 and (=\=)/2 now support 0rInf and
-0rInf.
- The predicates (<)/2, (=<)/2, (>)/2 and (>=)/2 now
support 0rInf and -0rInf.
- The library(railgun) to Lean CLP v11 promoted (multiply /
indexicals).
- The predicate statistics/2 and time/1 moved to new
library(time).
- The predicate statistics/0 and garbage_collect/1 moved to new
library(time).
- The predicates get_string/[2,3] have been removed from the
core.
- New predicates get_message/[3,4] in the core introduced.
- New predicates put_message/[2,3] in library(format)
introduced.
- New evaluable function gcd/3 in library(compat) introduced.
- The predicate atom_reference/2 has been removed.
Host Interface
- The float support in between/3 has been removed.
- Some old gaps in Python target arithmetic guards closed.
- The statistics “time” field has been changed from integer to
float.
- The statistics “gctime” field has been changed from integer to
float.
- The format/[2,3] predicates now colours ‘~q’ and ‘~d’
parameters.
- The format/[2,3] predicates now colours ‘~f’, ‘~e’ and ‘~g’
parameters.