Describing symmetrical structures in logic
- 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.