论文信息 - Constraint Functional Logic Programming for Origami Construction

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.

[1] Robert J. Lang. Origami and Geometric Constructions , 2003 .

[2] J. C. Gonz Alez-Moreno,et al. An Approach to Declarative Programming Based on a Rewriting Logic , 2022 .

[3] Stephen Wolfram,et al. The Mathematica book (3rd ed.) , 1996 .

[4] Tetsuo Ida,et al. An Origami Programming Environment , 2003 .

[5] Tetsuo Ida,et al. Collaborative constraint functional logic programming system in an open environment , 2003 .

[6] Francisco Javier López-Fraguas,et al. An Approach to Declarative Programming Based on a Rewriting Logic , 1999, J. Log. Program..

[7] Shigeki Yokoi,et al. An Origami Playing Simulator in the Virtual Space , 1996, Comput. Animat. Virtual Worlds.

[8] Tzer-Lin Chen. Proof of the Impossibility of Trisecting an Angle with Euclidean Tools , 1966 .