Uploading Prolog predicated