A Fuzzy Time-parameterized Temporal Logic-based simulation language is presented. The language represents rime explicitly and fuzzily. Mixture of Fuzzy Associative Memory and Fuzzy Holographic Memory is adopted. Fuzzification and defuzzification processes are embedded in the language's proof procedure, thus transparent to the simulator. So the dynamic nature of fuzzy system can be analysed and represented in a natural way. Expressive power of the language is illustrated from a robot controlled car example.