SWI-Prolog Did You Know Did you know? Your proprietary application can use SWI-Prolog Search Documentation:
Title for pldoc(object(section(2,'4.5',swi('/doc/Manual/listing.html'))))