project
    • name
      • Reasoning System
    • optimization
      • objective
        • Create a system which extracts and validates statements regarding a solution or a problem.
        • solution
          • This seems to be a theorem system/prover.
            • Check if this is the case.
          • toDo
            • What is the difference between a theorem prover and Prolog.