All knowledge is divided into two types: declarative knowledge and procedural knowledge. Declarative knowledge has been given as rules and facts and described with logic-based knowledge representation language. We described the procedural knowledge with a language called TRL(Task Representation Language)