Unfolding WAM Code

M. Ferreira
L. Damas,

Universidade do Porto
Rua do Campo Alegre 823
4150 Porto, Portugal

We present a Prolog compiler that can unfold WAM code towards obtaining efficient code for Prolog programs. The unfolder implements the principles of efficiency as stated by Van Roy: reduce instruction granularity, exploit determinism, specialize unification. It can operate without requiring abstract interpretation.

Download Complete Paper

Accepted Papers