Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System

cover