> The core of any parametric CAD program is its geometric constraint solver.
and
> In SolveSpace, constraints are represented as equations in a symbolic algebra system. In general, these equations are solved numerically, by a modified Newton's method.
> symbolic methods have been applied to this type of constraint solving (see Reference 20 on the Wikipedia link).
And your Zen "beginner mind" question got me to thinking, maybe I could use Prolog itself in my CAD system to directly make 3D shapes, since Prolog has been written in Lisp. Although Prolog does have a number of limitations:
From https://solvespace.com/tech.pl
> The core of any parametric CAD program is its geometric constraint solver.
and
> In SolveSpace, constraints are represented as equations in a symbolic algebra system. In general, these equations are solved numerically, by a modified Newton's method.
and from https://en.wikipedia.org/wiki/Geometric_constraint_solving#M...
> symbolic methods have been applied to this type of constraint solving (see Reference 20 on the Wikipedia link).
And your Zen "beginner mind" question got me to thinking, maybe I could use Prolog itself in my CAD system to directly make 3D shapes, since Prolog has been written in Lisp. Although Prolog does have a number of limitations:
https://en.wikipedia.org/wiki/Prolog#Limitations