Using Prolog for Constructing Geometric Objects defined by Constraints.

Beat D. Brüderlin

Published in: European Conference on Computer Algebra (2) (1985)

Keyphrases

geometric objects
geometric properties
geometric constraints
constraint logic programming
viewpoint
digital geometry
image segmentation
multiscale
expert systems
programming language
global constraints
constraint solving
knowledge base
logic programming
constraint satisfaction
constrained optimization