Explicit Control of Logic Programs Through Rule Algebra

  title={Explicit Control of Logic Programs Through Rule Algebra},
  author={Tomasz Imielinski and Shamim A. Naqvi},
In this paper we argue with a basic premise in logic programming research that the meaning of a program can be inferred from its syntax alone. We show that users may have a variety of intended models for programs and that a single program may give different intended models under different assumptions of semantics. Our conclusion is that it is impossible to infer the intended model from the syntax of the program and no single semantics will capture all the intended models. We propose as a… CONTINUE READING