A Logical Semantics for Depth-First Prolog with Ground Negation

@article{Andrews1993ALS,
  title={A Logical Semantics for Depth-First Prolog with Ground Negation},
  author={James H. Andrews},
  journal={Theor. Comput. Sci.},
  year={1993},
  volume={184},
  pages={105-143}
}
A sound and complete semantics is given for sequential, depth-rst logic programming with a version of negation as failure. The semantics is logical in the sense that it is built up only from valuation functions (multi-valued logic interpretations in the style of Fitting and Kunen) and logically-motivated equivalence relations between formulas. The notion of predicate folding and unfolding with respect to a program (Tamaki, Sato, Levi et al.) and the universal notion of \disjunctive unfolding… CONTINUE READING

References

Publications referenced by this paper.

MU-Prolog 3.1db Reference Manual

  • Lee Naish
  • University of Melbourne,
  • 1984

Similar Papers

Loading similar papers…