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