Exploring the Use of AI, Logic Programming, and Computer-Aided Symbolic Manipulation in Computational Physics: 1. The Matematical Structure of Phase Transition Theory.