Title: Some design principles for Prolog support environments