Definite clause

  1. redirect Horn clause