Author(s)
Unfolding WAM Code
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.