Bugfix: Converting a loaded `program` into a String#758

Merged

mmarx merged 2 commits intoknowsys:mainfrom

Leo-Aus-Berlin:bugfix/program-to-string

Feb 16, 2026

Commits on Jan 7, 2026

Fix fact and import display methods
Leo Repp
committed

Commits on Feb 16, 2026

Merge branch 'knowsys:main' into bugfix/program-to-string
Leo-Aus-Berlin
authored