E.2 Software support to keep track of license conditions
All Application Manual Name SummaryHelp

Availability:built-in
Sourcelicense(+LicenseId, +Component)
Register the fact that Component is distributed under a license identified by LicenseId. Known license identifiers can be listed using known_licenses/0. A new license can be registered as a known language using a declaration like below. The second argument defines the category if the license, which is one of gpl, lgpl, permissive or proprietary. 
:- multifile license:license/3.

license:license(mylicense, permissive,
                [ comment('My personal license'),
                  url('http://www.mine.org/license.html')
                ]).

:- license(mylicense).