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
bresenham
index-buffer
swift
sim800
ini
stage
amazon-api-gateway
npm-cache
pitch-shifting
quarkus-rest-client
stl-format
multimethod
spring-integration-aws
smile
undecidable-instances
code-access-security
universal-analytics
delphi-5
qweb
stress-testing
dnsmasq
sharepoint-addin
cypress-component-test-runner
carrierwave
adminfaces
locationmanager
icontrol
dpdk-pmd
cubefunctions
exchange-server