Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Kobayashi, N., Marin, M., Ida, T.: Collaborative Constraint Functional Logic Programming System in an Open Environment. IEICE Transactions on Information and Systems E86-D(1), 63–70 (2003)
Marin, M., Ida, T., Schreiner, W.: CFLP: A Mathematica Implementation of a Distributed Constraint Solving System. The Mathematica Journal 8(2), 287–300 (2001)
Takahashi, H., Ida, T.: Origami Programming Environment. In: Mitic, P., Ramsden, P., Carne, J. (eds.) Challenging the Boundaries of Symbolic Computation, Proceedings of 5th International Mathematica Symposium (IMS 2003), pp. 413–420. Imperial College Press, London (2003)
Huzita, H.: Axiomatic Development of Origami Geometry. In: Proceedings of the First International Meeting of Origami Science and Technology, pp. 143–158 (1989)
Hull, T.: Origami and Geometric Constructions (1997), http://web.merrimack.edu/~thull/geoconst.html
Chen, T.-l.: Proof of the impossibility of trisecting an angle with Euclidean tools. Math. Mag. 39, 239–241 (1966)
Geretschläger, R.: Geometric Constructions in Origami. Morikita Publishing Co. (2002) (in Japanese, translation by H. Fukagawa)
Fushimi, K.: Science of Origami, a supplement to Saiensu, p. 8 (October 1980)
Miyazaki, S., Yasuda, T., Yokoi, S., Toriwaki, J.: An Origami Playing Simulator in the Virtual Space. The Journal of Visualization and Computer Animation 7(1), 25–42 (1996)
Hanus, M. (ed.): Curry: A Truly Integrated Functional Logic Language (2002), http://www.informatik.uni-kiel.de/~curry
Gonzales-Moreno, J.C., Hortala-Gonzalez, T., Lopez-Fraguas, F.J., Rodriguez-Artalejo, M.: An Approach to Declarative Programming Based on a Rewrite Logic. Journal of Logic Programming 40(1), 47–87 (1999)
Wolfram, S.: The Mathematica Book, 3rd edn. Wolfram Media and Cambridge University Press (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ida, T., Marin, M., Takahashi, H. (2003). Constraint Functional Logic Programming for Origami Construction. In: Ohori, A. (eds) Programming Languages and Systems. APLAS 2003. Lecture Notes in Computer Science, vol 2895. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40018-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-40018-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20536-4
Online ISBN: 978-3-540-40018-9
eBook Packages: Springer Book Archive