horc.bib

@book{sterling1994art,
  title={{The Art of Prolog: Advanced Programming Techniques}},
  author={Sterling, Leon and Shapiro, Ehud Y},
  edition={2},
  year={1994},
  publisher={MIT Press}
}

@misc{link:learn,
  title = {{Learn Prolog Now!}},
  howpublished = {\url{http://www.learnprolognow.org/lpnpage.php?pageid=online}},
  note = {Accessed: 2020-02-20}
}

@book{winskel1993formal,
  title={{The Formal Semantics of Programming Languages: An Introduction}},
  author={Winskel, Glynn},
  year={1993},
  publisher={MIT Press}
}

@book{clocksin2003programming,
  title={{Programming in Prolog: Using the ISO standard}},
  author={Clocksin, William F and Mellish, Christopher S},
  edition={5},
  year={2003},
  publisher={Springer Science \& Business Media}
}

@misc{link:learn,
  title = {{SWI-Prolog Reference Manual}},
  howpublished = {\url{https://www.swi-prolog.org/pldoc/doc_for?object=manual}},
  note = {Accessed: 2020-02-20}
}

@misc{link:couple,
  title = {{A Couple of Meta-interpreters in Prolog}},
  howpublished = {\url{https://www.metalevel.at/acomip}},
  publisher={The Power of Prolog},
  note = {Accessed: 2020-02-20}
}

@misc{link:horn,
  title = {{Horn Logic (W3C RIF-WG Wiki)}},
  howpublished = {\url{https://www.w3.org/2005/rules/wg/wiki/Horn_Logic}},
  note = {Accessed: 2020-02-20}
}

@book{lloyd2012foundations,
  title={{Foundations of Logic Programming}},
  author={Lloyd, John W},
  edition={2},
  year={2012},
  publisher={Springer Science \& Business Media}
}

@article{dantsin2001complexity,
  title={{Complexity and Expressive Power of Logic Programming}},
  author={Dantsin, Evgeny and Eiter, Thomas and Gottlob, Georg and Voronkov, Andrei},
  journal={ACM Computing Surveys (CSUR)},
  volume={33},
  number={3},
  pages={374--425},
  year={2001},
  publisher={ACM New York, NY, USA}
}

@incollection{aczel1977introduction,
  title={{An Introduction to Inductive Definitions}},
  author={Aczel, Peter},
  booktitle={Studies in Logic and the Foundations of Mathematics},
  volume={90},
  pages={739--782},
  year={1977},
  publisher={Elsevier}
}

@book{sipser2012introduction,
  title={{Introduction to the Theory of Computation}},
  author={Sipser, Michael},
  edition={3},
  year={2012},
  publisher={Cengage Learning}
}

@book{harrison2009handbook,
  title={{Handbook of Practical Logic and Automated Reasoning}},
  author={Harrison, John},
  year={2009},
  publisher={Cambridge University Press}
}

@misc{kantor2020horc,
  author={Kantor, Amir},
  title={{horc: A Lightweight Horn-Clause Interpreter}},
  year={2020},
  publisher={GitHub},
  journal={GitHub repository},
  howpublished = {\url{https://github.com/amka66/horc}}
}