Title: Evaluating Prolog environments