Logic Programming Project Suggestions

  1. 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.
  2. An automatic payment setup agreement
  3. A credit card agreement
  4. A deposit account agreement
  5. A binding arbitration agreement
  6. An online services agreement