On x86_64: ppl-swiprolog-1.0-4.fc20.6.x86_64 requires libswipl.so.6.2.6()(64bit) On i386: ppl-swiprolog-1.0-4.fc20.6.i686 requires libswipl.so.6.2.6 On armhfp: ppl-swiprolog-1.0-4.fc20.6.armv7hl requires libswipl.so.6.2.6 Update in progress.
ppl-1.0-4.fc20.7 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/ppl-1.0-4.fc20.7
Package ppl-1.0-4.fc20.7: * should fix your issue, * was pushed to the Fedora 20 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing ppl-1.0-4.fc20.7' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2013-15970/ppl-1.0-4.fc20.7 then log in and leave karma (feedback).
ppl-1.0-4.fc20.7 has been pushed to the Fedora 20 stable repository. If problems still persist, please make note of it in this bug report.