hello, due a mistake the license tag of the gprolog package specify a wrong license. The gprolog package should be licensed under the GPLv2+ instead of GPLv2. I have corrected the wrong license specification on all currently maintained fedora distributions. Best Regards: Jochen Schmitt