Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation

Jirí Vyskocil, Petr Stepánek. Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. In Alexander F. Gelbukh, Angel Fernando Kuri Morales, editors, MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings. Volume 4827 of Lecture Notes in Computer Science, pages 305-315, Springer, 2007. [doi]

Authors

Jirí Vyskocil

This author has not been identified. Look up 'Jirí Vyskocil' in Google

Petr Stepánek

This author has not been identified. Look up 'Petr Stepánek' in Google