Unfolding WAM Code


Author(s)
M. Ferreira
L. Damas,

LIACC
Universidade do Porto
Rua do Campo Alegre 823
4150 Porto, Portugal
{michel,luis}@ncc.up.pt

Abstract
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.