Is Horn clause logic decidable?

[Moshe Y Vardi]

For example: "The implication and finite implication problems for typed 
template dependencies"

https://www.sciencedirect.com/science/article/pii/0022000084900746?via%3Dihub

Moshe