State machine that precomputes unified sets for type estimation

[kevindamm]

equivalent to Set[GdlSentence] and integrates with Request creation (move, start, info, etc.) to store the current game state (i.e. the knowledge DB contents), may be recompiled into a GameStateMachine[...] implementation tailored to a specific game.

[kevindamm]

GdlSentence isa GdlLiteral, an interface having

• Name() GdlConstant
• Arity() int
• TermAt(index int) GdlTerm
• IsGround() bool
• fmt.Stringer
• Hoist() GdlTerm
• Body() []GdlTerm