The current version of pack pac does not contain a file prolog/other/op-for-user-input.pl
pac
prolog/other/op-for-user-input.pl