The same name was later used to refer to the formal language used in this planner to declare instances of automated planning problems; this language is the base for most of the languages for expressing automated planning problem instances in use today.
The same name was later used to refer to the formal language. This formal language was used in this planner. This was to declare instances of automated planning problems. This language is the base for most of the languages for expressing automated planning problem instances in use today.