Back

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.

Rich TVX News Network Site

Rich TVX News Network Info

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search