A New Operational Semantics for Prolog

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.

Abstract

Abstract is missing.