资料来源 : Free On-Line Dictionary of Computing

definite clause
     
         A {Horn clause} that has exactly one {positive
        literal}.
     
        (2000-01-24)