2026.3.0

Update to SWI Prolog 10 (!260).
Fix Ergo error in validate examples (!261).
Modify tests to use a mocked LM for speed and reproducibility (!268).
Fix function flattening (!266).
Use anonymous variables to eliminate singleton variable warnings from ergo (!265).
Fix output suppression (!264).
Truncate KBs to reduce tokens and stay under given limits (!262).
Improve validate examples performance (!258).
Fixed handling of nogoods (!257).
Reduced size of saved sessions (!245).
Fix incorrect Ergo results parsing (!252).
Improve query results display (!251).
Fix Popper hypothesis injection by using clingo assumptions instead of hard constraints (!246, !247).
Add automatic retry for some LM functionality (!243).
Improve language model use to allow new predicates (!232).
Improve ErgoAI output capture (!241).
Eliminate some redundant Ergo AI invocations (!239).

2025.11.3

Fix session ID bug (!231).
Improve frame filler behavior (!209, !228, !229).
Automatically show the bindings tab when query results do not include any stdout/stderr (!237).
Fix some Popper interactions (!230, !233).

Address bug that prevented raw Ergo from being displayed in some cases (!220).
Improve case handling for predicate/rule names (!217).
Improve handling of knowledge base information. Addresses bugs relating to various sequences of adding and removing bouts, background, and other ergo elements (!215, !216, !219).
Re-prompt LLM for query-extraction when parsing fails (!214).

Add guidance field allowing users to provide directions to the LM in addition to the natural language describing the rule content itself (!210).
Add button to clear filter/search text (!208).
Add link from UI to documentation (!201).
Catch rate-limit error from LM and fall back to query without background (!196).
Display bindings that result from running queries (!198).
Use LM to automatically select candidate frame type when showing frame editor (!186).
Add link predicates to foreground knowledge (!194).
Fixed deserialization bugs (!191, !204).