Essentials of Logic Programming

@inproceedings{Hogger1990EssentialsOL,
  title={Essentials of Logic Programming},
  author={Christopher J. Hogger},
  year={1990}
}
  • Christopher J. Hogger
  • Published 1990
  • Computer Science
  • Preface Acknowledgements Background (Themes 1-4) Overview (Themes 5-8) First-order logic (Themes 9-13) Clausal-form logic (Themes 14-18) Problem solving (Themes 19-22) The Herbrand domain (Themes 23-25) Resolution (Themes 26-30) Programming with SLD-resolution (Themes 31-39) Semantics of definite programs (Themes 48-53) Programming with finite failure (Themes 54-58) Verifying programs (Themes 59-60) Answers to exercises Index 

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 37 CITATIONS

    A reasoning agent for credit card fraud using the event calculus

    VIEW 7 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    JXSHELL : a Web-based expert system platform ( Under the direction of Dr

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED