Who uses Prolog and why · Kitlist