Efficient Tabling Mechanisms for Transaction Logic Programs

Paul Fodor

In this paper we present efficient evaluation algorithms for the Horn Transaction Logic (a generalization of the regular Horn logic programs with state updates). We present two com…