Python Programming

Logic Programming Project Suggestions

5. Computable Contracts

A computable contract is a logic program that captures both the static and dynamic elements of a contract. The static elements can be used for answering questions, and the dynamic elements can be used to monitor the compliance to regulations over the lifetime of a contract. An illustration of a computable contract is available here. Your goal is to develop computable contracts for one or more of the following agreements.

1. An automatic payment setup agreement
2. A credit card agreement
3. A deposit account agreement
4. A binding arbitration agreement
5. An online services agreement