Guarded Horn Clause Languages: Are They Deductive and Logical?