Instructions: Please download all files into your directory, and create a directory "Rule". Then, run Quintus Prolog in unix environment and take the following steps in Prolog prompt: 1. Consult the "prot3" module, i.e., consult(prot3) or [prot3]. 2. Call "init". Then, the Transaction Logic program has set up. For more questions, please visit the web page at: http://www.db.toronto.edu:8020/people/hung/tr.html Samuel