[DL] Horn clauses and DLs

[Rodrigo de Salvo Braz]

Hello all,

Although Horn clauses is different from DLs in several manners,
even historically, I would like to ask this list if in terms of the
expressivity/efficiency tradeoff it could be considered in the same region
as DLs.

Putting the question in another way: one of the goals of DLs is to avoid
the complexity of FOL. Different DLs do that in different ways, stressing
different constructs etc. Do you consider Horn clauses to do just that, or
is it somehow still too close to FOL from a DL point of view?

Thanks,

Rodrigo