The Life of a Logic Programming System

Vítor Santos Costa

December 2008

---

Abstract

Logic Programming and the Prolog language have a major role in Computing. Prolog, and its derived languages, have been widely used in a impressive variety of application domains. Thus, a bit of the history of Logic Programming reflects in the history of systems such as Dec-10 Prolog, M-Prolog, C-Prolog, Quintus Prolog, SICStus Prolog, BIM-Prolog, ECLiPSe, BinProlog, SWI-Prolog, CIAO, and B-Prolog, to mention but a few. I briefly present the evolution of one such system, YAP, and present a personal perspective on the challenges ahead for YAP (and for Logic Programming).

Bibtex

@InProceedings{santoscosta-iclp08,
  author =    {V. Santos Costa},
  title =     {{The Life of a Logic Programming System}},
  booktitle = {Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)},
  pages =     {1--6},
  number =    {5366},
  series =    {LNCS},
  publisher = {Springer},
  editor =    {M. Garcia de la Banda and E. Pontelli},
  month =     {December},
  year =      {2008},
  address =   {Udine, Italy},
}

Download Paper

Springer