Transaction logic is an extension of logic programming with a logical theory of state-modifying updates.
Трансакција логика је наставак логичког програмирања са логичком теоријом државних модификација ажурирања.