1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
<scxml datamodel="prolog" initial="start" binding="late"> <datamodel> <data id="facts"> cat(tom). animal(X):- cat(X). </data> </datamodel> <script> cat(tom). cat(X). animal(X). </script> <state id="start"> </state> </scxml>