The implementation of Transaction Logic are located in the directory with the corresponding name of Prolog. XSB/ contains 4 subdirectory, Prototype1/, Prototype2/, Prototype/3, and Prototype4/, each contains the corresponding implementation.