Editing Logic programming (section)

===Transaction logic programming===
[[Transaction logic]]<ref name="TL"/> is an extension of logic programming with a logical theory of state-modifying updates. It has both a model-theoretic semantics and a procedural one. An implementation of a subset of Transaction logic is available in the [[Flora-2]]<ref>Yang, G. and Kifer, M., 2000, July. FLORA: Implementing an efficient DOOD system using a tabling logic engine. In International Conference on Computational Logic (pp. 1078-1093). Berlin, Heidelberg: Springer Berlin Heidelberg.</ref> system. Other prototypes are also [[Transaction logic|available]].