Definite clause

From testwiki
Jump to navigation Jump to search

English

Template:Wikipedia

Noun

Template:En-noun

  1. Template:Lb A Horn clause with exactly one positive literal.
    Template:Ux
Retrieved from "https://en.wiktionary.beta.math.wmflabs.org/w/index.php?title=Definite_clause&oldid=799"