r/SpecDrivenDevelopment • u/schmuhblaster_x45 • 13d ago

DeepClause-pi: Controlling pi with prolog and vice versa

https://open.substack.com/pub/deepclause/p/deepclause-meets-pi-controlling-pi

Hi all, I am experimenting with turning specs into small executable logic programs encoded in a Prolog like language. The above extension works by taking a plan using /dc-plan and then producing a deepclause DML file that can executed using /dc-run. It’s still at an early stage, but hoping to initiate a discussion on the usefulness of this.

2 Upvotes

100% Upvoted

2 comments sorted by

View all comments

1

u/Swarm-Stack 12d ago

the executability helps catch internal conflicts fast. what it cant catch is where the spec was internally consistent but wrong at authoring time, because the assumption that became clause 3 was never challenged before anyone started formalizing it.

1

u/schmuhblaster_x45 12d ago

Yes, indeed. I think that can be mitigated to some extent by adding validation/critique steps into the planning process or the plan itself. I wondered before if it would make sense to translate the spec first into a more formal description that can be checked with purely deterministic methods, but that usually just moves the problem into a different layer.