I think the parametric constraint driven way of doing CAD is actually already pretty programmatic. While I'm not sure, I'm imaging that there might be some sort

I think the parametric constraint driven way of doing CAD is actually already pretty programmatic. While I'm not sure, I'm imaging that there might be some sort of isomorphism between CAD-style constraints and Prolog-style logic programming...