The Well-Founded Semantics for General Logic Programs

  title={The Well-Founded Semantics for General Logic Programs},
  author={Allen Van Gelder and Kenneth A. Ross and John S. Schlipf},
  journal={J. ACM},
A general logic program (abbreviated to \program" hereafter) is a set of rules that have both positive and negative subgoals. It is common to view a deductive database as a general logic program consisting of rules (IDB) sitting above elementary relations (EDB, facts). It is desirable to associate one Herbrand model with a program and think of that model as the \meaning of the program," or its \declarative semantics." Ideally, queries directed to the program would be answered in accordance with… CONTINUE READING
Highly Influential
This paper has highly influenced 174 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
1,148 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 1,148 extracted citations


Publications referenced by this paper.
Showing 1-10 of 12 references

On closed world databases

  • R. Reiter
  • In Gallaire and Minker, editors, Logic and…
  • 1978
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…