test/samples/uscxml/test-prolog.scxml


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>