The top documents tagged [independent of prolog]