Clause (logic)

From Wikipedia, the free encyclopedia

You have new messages (last change).
For other uses, see Clause (disambiguation).

In logic and declarative programming, a clause is a disjunction of literals and can be interpreted as a (conditional) statement.

This vocabulary-related article is a stub. You can help Wikipedia by expanding it.
Comp Sci logo This computer science-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../c/l/a/Clause_%28logic%29.html"
In other languages