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

definite sentence

    A collection of definite clauses.

   (2003-12-04)