TLPLAN [Bacchus KabanzaBacchus Kabanza2000] also uses a temporal logic language to support the construction of control rules to guide plan search. TLPLAN preceded TALPLANNER in its use of this idea. TLPLAN adopts a slightly different approach to the management of temporal structure than TALPLANNER, and is also capable of handling metric quantities. The extensions of TLPLAN that allow it to handle time are described by Bacchus and Ady bacchusconcurrency.