This extension adds connectives specifically designed for combining simple actions into complex transactions and for providing control over their execution.
Transaction Logic has a Horn clause subset, which has a procedural as well as a declarative semantics.
In this way, Transaction Logic is able to declaratively capture a number of non-logical phenomena, including procedural knowledge in artificial intelligence, active databases, and methods with side effects in object databases.
[4] In later years, Transaction Logic was extended in various ways, including concurrency,[5] defeasible reasoning,[6] partially defined actions,[7] and other features.
[8][9] In 2013, the original paper on Transaction Logic has won the 20-year Test of Time Award of the Association for Logic Programming as the most influential paper from the proceedings of ICLP 1993 conference in the preceding 20 years.