C++ 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