Adding datalog_min as a named language (relaxed version).

Signed-off-by: greenTara <taraathan@gmail.com>
adding datalogeq_min as a named language (relaxed).

Signed-off-by: greenTara <taraathan@gmail.com>
module and tests for unary term sequences added

Signed-off-by: greenTara <taraathan@gmail.com>