Abstract not found

The well-founded semantics for "normal" logic programs is described using the alternating fixpoint construction as the basis. The presentation is informal. The semantics is motivated and illustrated through examples, and is compared briefly with earlier semantics for negation. Extensions to other forms of logic program are mentioned briefly. Recent work on practical implementations and applications is surveyed.