A Register-Free Abstract Prolog Machine with Jumbo Instructions.

Neng-Fa Zhou

Browse the full ICLP paper archive.