pro-4This user is an expert Prolog programmer.