Representing Trees with Constraints

  • Ben Curry
  • Geraint A. Wiggins
  • Gillian Hayes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1861)


This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and how we can represent the set of trees belonging to that class using constraints. The method enables the specification of a set of trees without having to generate all of the members of the set. This allows us to reason about sets of trees that would normally be too large to use. We present this research in the context of a system to generate expressive musical performances and, in particular, how this method can be used to represent musical structure.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1891]
    Cayley A.: On the Analytical Forms Called Trees. Coll. Math. Papers, Vol. 4. Cambridge University Press (1891)Google Scholar
  2. [1996]
    Henz M., Lauer S. and Zimmermann D.: COMPOzE-Intention-based Music Composition through Constraint Programming. Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence, IEEE Computer Society Press (1996)Google Scholar
  3. [1983]
    Lerdahl F. and Jackendoff R.: A Generative Theory of Tonal Music. MIT Press (1983)Google Scholar
  4. [2000]
    Sloane N.J.A.: The On-Line Encyclopedia of Integer Sequences. Published electronically at (2000)
  5. [1997]
    Tsuchida K., Adachi Y., Imaki T. and Yaku T.: Tree Drawing Using Constraint Logic Programming. Proceedings of the 14th International Conference of Logic Programming, MIT Press (1997)Google Scholar
  6. [1989]
    Van Hentenryck P.: Constraint Satisfaction in Logic Programming. Logic Programming Series, MIT Press (1989)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Ben Curry
    • 1
  • Geraint A. Wiggins
    • 2
  • Gillian Hayes
    • 1
  1. 1.Institute of Perception, Action and Behaviour, Division of InformaticsUniversity of EdinburghEdinburgh
  2. 2.Department of Computing, School of InformaticsCity UniversityLondon

Personalised recommendations