Among the various aspects of the UML, a state machine is part of the specification used ... graph and transform it into a declarative model that is implemented as a database of clauses using Prolog.