The Well-Founded Semantics for General Logic Programs

Abstract

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… (More)
DOI: 10.1145/116825.116838

Topics

2 Figures and Tables

Cite this paper

@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} }