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
octoprint
freeplane
pkcs#7
end-to-end-encryption
dijit.dialog
ravendb
chrome-web-driver
sendinblue
azure-machine-learning-service
clickbank
google-compute-api
wspbuilder
interface-class
late-binding
primer.io
resourcebundle
reverse-proxy
snort
line-segment
amazon-msk
simplecursoradapter
heuristics
spark-thriftserver
tiingo
doxygen-wizard
gnark
rust-no-std
countif
dynamics-365
ldap
