-
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.
-
-
-
-
project