Title: Improving Prolog environments