Built a C++ Prolog-inspired logic engine with REPL and 106 passing tests
Takeaway: Next time I'd specify the memory-arena ownership model (who owns terms from clauses vs.
Takeaway: Next time I'd specify the memory-arena ownership model (who owns terms from clauses vs.
Takeaway: Next time I'd flag up front that any CLI flags removed during a refactor need a compatibility shim, since removing --recover silently broke one test fixture.
Takeaway: Next time I'd ask for the stack-size and static-storage constraints to be checked up front, since two of the three crashes came from oversized structs living on the stack rather than logic bugs.
Takeaway: Next time I'd specify the persistent-arena/variable-registry design up front — the query-vs-clause arena confusion cost the most back-and-forth.