The top documents tagged [prolog inx]