So for the end of year 2018, is there still people using Prolog in profession field instead of academic?