Module tnt::operations

Build statements of TNT.

Modules

construction	Arbitrary logical combinations of the inputs.
production	Create inferences from other statements of TNT, will return LogicError if constraints are not met.