Pretty cool stuff. Do you think it's possible to easily build a science oriented harness like Ref. [1] in DeepClause?
[1] https://github.com/1stproof/batch-2/tree/main/batch-2-submis...
[1] https://github.com/1stproof/batch-2/tree/main/batch-2-submis...
The Prolog/DML lets you express any kind of loop, graph, whatever workflow.