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.