Release 2.2.1

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

Language Reference

• The built-in (=\=)/2 now implements not quiet IEEE 754-2019 §5.6.1.
• The built-ins (=:=)/2, (<)/2, etc. now implement quiet IEEE 754-2019 §5.6.1.
• The built-ins (@<)/2, etc. now implement quiet ordered IEEE 754-2019 §5.6.1.
• The built-in (-)/2 now implements NaN propagation IEEE 754-2019 §6.2.3.
• The built-ins min/3 and max/3 now implement number IEEE 754-2019 §9.6.
• The defined predicates now come without any generated index.
• The first argument index is now generated on demand.
  
• New non-first argument indexes are generated on demand.
  
• New combined argument indexes are generated on demand.
• New predicates jiti_list/[0,1] introduced to show just-in-time indexes.
• The predicates subsumes/2 and subsumes_term/2 have been removed.

Host Interface

• The clauses now have up to MAX_INDEX argument index values.
• The clause ropes now use ROPE_HIGH to switch from list to set.
• The clause ropes now use ROPE_LOW to switch from set to list.
• The runtime clauses now use ir_ossify_clause/4 for encoding.
• The meta predicate (\+ A) now uses inlining and outlining.
• The meta predicate once(A) now uses inlining and outlining.

Use Privacy (c) 2005-2026 XLOG Technologies AG