add prolog sorts