A Prolog Datamodel for State Chart XML