1. name
      1. Reasoning System

    2. optimization
      1. objective
        1. Create a system which extracts and validates statements regarding a solution or a problem.

        2. solution
          1. This seems to be a theorem system/prover.

            1. Check if this is the case.

          2. toDo
            1. What is the difference between a theorem prover and Prolog.