Well-founded semantics

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 about a semantics for logic programming. For the general concept in computer science, see Semantics (computer science). For other uses, see Semantics (disambiguation).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.