The Free On-line Dictionary of Computing (19 January 2023):

definite clause

    A Horn clause that has exactly one positive
   literal.

   (2000-01-24)