The Free On-line Dictionary of Computing (30 December 2018):

definite sentence

    A collection of definite clauses.

   (2003-12-04)