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
bullseye
android-agde
battery-saver
dart2native
vimium
pbm
foxpro
qcachegrind
project-server
mixed
firebase-realtime-database
tensorflow-slim
chomp
galsim
celery
rule-of-three
unix-socket
wp-admin
minicom
createelement
ogc
meilisearch
react-table-v6
steamworks-api
cairo
round-corner
fasterxml
crossover
in-app-update
django-mixer
