A problem is an object used by the Worker to store a query under consideration by one or more inferences, as well as meta-information about that query, including:
- problem links expressing its logical or inferential connections to other problems
- tactics indicating units of inferential work that could be done or have been done
- etc.