definite clause

Submitted by György Chityil ... on Fri, 01/19/2018 - 22:00
Hierarchy: 
Noun
Description: 
{{logic}} A Horn clause with exactly one positive literal.
Ngram: 
definite clause
Ngram Text: 
definite clause
Source: 
Wiktionary
Issue: 
0
Wiktionary tag: 
logic
Ngram Count: 
2