Towards a jitting VM for prolog execution.

Carl Friedrich Bolz, Michael Leuschel, David Schneider

Browse the full PPDP paper archive.