Kaninda Musumbu. A New Operational Semantics for Prolog. In Bhanu Prasad, Pawan Lingras, Ashwin Ram, editors, Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, Tumkur, Karnataka, India, December 16-18, 2009. pages 251-260, IICAI, 2009.
@inproceedings{Musumbu09,
title = {A New Operational Semantics for Prolog},
author = {Kaninda Musumbu},
year = {2009},
tags = {semantics, Prolog, operational semantics},
researchr = {https://researchr.org/publication/Musumbu09},
cites = {0},
citedby = {0},
pages = {251-260},
booktitle = {Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, Tumkur, Karnataka, India, December 16-18, 2009},
editor = {Bhanu Prasad and Pawan Lingras and Ashwin Ram},
publisher = {IICAI},
isbn = {978-0-9727412-7-9},
}