Well-founded semantics

This article is about a semantics for logic programming. For the general concept in computer science, see Semantics (computer science). For other uses, see Semantics (disambiguation).

In computer science, the well-founded semantics is a three-valued semantics for logic programming, which gives a precise meaning to general logic programs.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.