CW 364

Phuong-Lan Nguyen, Bart Demoen
Interleaving or separating environments and choice points in the WAM

Abstract

The original WAM uses one stack on which the choice points and the environements are allocated in an interleaved way. Some WAM implementations currently use a separate stack for these two data structures. We evaluate experimentally the difference between these two choices within hProlog and without changing any other feature of the system. The experiments concern time, space and cache performance.

report.pdf / mailto: B. Demoen