Horn clauses

  1. redirect Horn clause