Prolog Influence
Statecharts Based on