Hacker News new | ask | show | jobs
by zokier 1703 days ago
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...