> Yes, MIT is compulsory for 4.1.

Well, for inclusion only, so I don't think it matters for the Prolog 
package.

(I'm currently co-maintainer of Prolog, but since I did not write all of 
it I can't change the licence anyway)

Stef