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
visual-studio-2008
uitabview
isenabled
plsql
xpo
kube-proxy
modbus
live-unit-tests
screen-readers
spring-reactive
sqltools
header-row
bluemix-app-scan
soclass
django-custom-tags
.net-core-publishsinglefile
rubygems
python-collections
edifabric
class-extensions
tfilestream
wmi-query
camel-rest
spotify-scio
ui-virtualization
scoped-lock
posix
test-class
libjingle
bsp