Using Rules to Animate Prolog Programs

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth. Using Rules to Animate Prolog Programs. In Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel, editors, Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017. Volume 1875 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]

@inproceedings{SharafAF17,
  title = {Using Rules to Animate Prolog Programs},
  author = {Nada Sharaf and Slim Abdennadher and Thom W. Frühwirth},
  year = {2017},
  url = {http://ceur-ws.org/Vol-1875/paper24.pdf},
  researchr = {https://researchr.org/publication/SharafAF17},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017},
  editor = {Nick Bassiliades and Antonis Bikakis and Stefania Costantini and Enrico Franconi and Adrian Giurca and Roman Kontchakov and Theodore Patkos and Fariba Sadri and William Van Woensel},
  volume = {1875},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}