The top documents tagged [example of prolog facts]