IMPACT: Innovative Models for Prolog with Advanced Control and Tabling

Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa. IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. In Maurizio Gabbrielli, Gopal Gupta, editors, Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Volume 3668 of Lecture Notes in Computer Science, pages 416-417, Springer, 2005. [doi]

@inproceedings{RochaLSC05,
  title = {IMPACT: Innovative Models for Prolog with Advanced Control and Tabling},
  author = {Ricardo Rocha and Ricardo Lopes and Fernando M. A. Silva and Vítor Santos Costa},
  year = {2005},
  doi = {10.1007/11562931_36},
  url = {http://dx.doi.org/10.1007/11562931_36},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/RochaLSC05},
  cites = {0},
  citedby = {0},
  pages = {416-417},
  booktitle = {Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings},
  editor = {Maurizio Gabbrielli and Gopal Gupta},
  volume = {3668},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29208-X},
}