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.
- An automatic payment setup agreement
- A credit card agreement
- A deposit account agreement
- A binding arbitration agreement
- An online services agreement