Horn clause input