Work on prolog datamodel and uscxml-debugger