GitHub suggest file extension '.prolog