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