The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.

Anderson Faustino da Silva, Vtor Santos Costa

Browse the full ICLP paper archive.