Module tnt::operations

Build statements of TNT.

Modules

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