Corrected license specification of the gprolog package