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
ef-power-tools
moqui
unary-function
tern
xcode4.4
android-widget
nextjs
language-server-protocol
xlslib
appsflyer-ios-sdk
mathcad
angular-seo
trackbar
apache-expression
nft
grayscale
picasa
datefinder
nexus-js
tidyverse
fomantic-ui
database-restore
django-select-related
code-analysis
hashchange
vue-render-function
orchardcms
getelementsbyname
mendeley
git-branch-sculpting
