Versions on Different Prolog
Versions
Please download the corresponding files of Transaction Logic Prolog of each prototype via the following links.
Prototype 3
Quintus Prolog
Sicstus Prolog
XSB Prolog
Prototype 4
Quintus Prolog
Sicstus Prolog
XSB Prolog
Back to the Transaction Logic page