An energy analysis apparatus that analyzes behaviors of a plant. The apparatus includes a processor coupled with a memory device and configured to execute instructions to provide (1) a plant information input unit for accepting inputs of device information indicating device models configuring the plant, and connection information indicating connection between the device models, (2) a plant analysis condition input unit for accepting an input of a plant analysis condition, and (3) a first-order predicate logical expression generation unit for generating a first-order predicate logical expression on the basis of the device information, the connection information and the plant analysis condition.
