Constraint Functional Logic Programming for Origami Construction

We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which describe the geometric properties of paper folds. We developed two software components: one that provides primitives to construct, manipulate and visualize paper folds and the other that solves the systems of equations. Using these components, we illustrate computer-supported origami construction and show the significance of the constraint functional logic programming paradigm in the program development.

• Type: Conference
• Year: 2003
• Where: APLAS
• Authors: Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
• Keywords: APLAS 2003, Constraint Functional Logic, Functional Logic Programming, Origami Programming Methodology