I wrote a Prolog program to find all solutions to any '8 out of 10 cats does countdown' number sequence. I am happy with the result. However, the solutions are
git-review
cglayer
completion-block
windows-registry
header
azure-ase
hevc
galera
rendermonkey
constexpr-function
xsuperobject
playback-rate
tensorflow2.x
solr7
qabstracttablemodel
bazel-gazelle
dynamic-proxy
moodle
brave
end-of-life
google-vision
virtual-drive
guzzle6
compiler-development
picocli
vscode-jsconfig
phppgadmin
serverxmlhttp
azure-front-door
py-telegram-bot-api
