import "StandardLibrary"

Foo ?x :- 
    @enforce
    Execute (iterList printString [?x :: String])

    
rule DoIt where
    @to
    Foo "Hello world!"

main = transformation OneShotForward where
--
Hello world!
()