The Well-Founded Semantics for General Logic Programs

@article{Gelder1991TheWS,
  title={The Well-Founded Semantics for General Logic Programs},
  author={Allen Van Gelder and Kenneth A. Ross and John S. Schlipf},
  journal={J. ACM},
  year={1991},
  volume={38},
  pages={620-650}
}
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

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

Similar Papers

Loading similar papers…