Definite Clause

From GM-RKB
Jump to: navigation, search

A Definite Clause is a Horn Clause with one positive Literal.



References

1980

  • Definite Clause Grammars (Pereira and Warren, 1980)