Generalized Horn Clause Programs