Show HN: Sun – a Prolog generator for the 2026 solar eclipse

**Summary** Sun is an open‑source Prolog code generator that produces a model of the 2026 total solar eclipse, letting engineers quickly embed accurate astronom