Annals of Mathematics and Artificial Intelligence

, Volume 8, Issue 3, pp 301–314

Describing symmetrical structures in logic

  • P. A. Strooper
  • M. H. van Emden

DOI: 10.1007/BF01530795

Cite this article as:
Strooper, P.A. & van Emden, M.H. Ann Math Artif Intell (1993) 8: 301. doi:10.1007/BF01530795


We present a simple but general method for the description in logic of discrete geometric structures based on the symmetry group of the structure. As a first step, we write a logic program that defines the structure with a small set of base points and generators for the symmetry group of the structure. We modify this program so that, when it is executed as a program inProlog orClp(ℛ), it enumerates the points of the structure. This method allows compact descriptions of highly symmetrical, yet elaborate structures such as geodesic spheres.

Copyright information

© J.C. Baltzer AG, Science Publishers 1993

Authors and Affiliations

  • P. A. Strooper
    • 1
  • M. H. van Emden
    • 1
  1. 1.Computer Science DepartmentUniversity of VictoriaVictoriaCanada
  2. 2.Department of Computer ScienceUniversity of QueenslandSt. LuciaAustralia