Using Prolog for Constructing Geometric Objects defined by Constraints

Efficient algorithmic solutions are known for many problems in geometric modeling. Most algorithms are best implemented in a procedural programming language. For other problems, especially in interactive programs, no procedures may be found easily, but we may formulate the knowledge of our problem in a descriptive way with facts and ruies. Prolog is an appropriate language for finding solutions in the latter case. On the other hand, Prolog does not support efficiently the writing of procedures and arithmetic, which are still essential for solving geometrical problems.