Transformation7.scl

   1 import "StandardLibrary"
   2
   3 Foo ?x :-
   4     @enforce
   5     Execute (iterList printString [?x :: String])
   6
   7
   8 rule DoIt where
   9     @to
  10     Foo "Hello world!"
  11
  12 main = transformation OneShotForward where
  13 --
  14 Hello world!
  15 ()