||Defines the communication language based on
logic tuples, which stand both for tuple and tuple template
For logic tuple, the matching is the classic prolog matching and
the propagation corresponds to unification.
||Defines an argument of logic tuple.
||Value class represents value (integer, real, string,
compound-structured) argument of tuples
This class works only as a constructor of specific value object,
it does not provide any services, which are collected in
||Defines Variable argument of tuples, identified by a name