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
hackintosh
wsse
rxfire
ionic-view
iterable-unpacking
chatbase
atag
kotlin-inline-class
unbind
rrule
mongodb-3.6
packery
ghc-pkg
fixed-width
flutter-test
richtextbox
aws-xray
nominatim
liquibase-maven-plugin
question2answer
coldfusion-8
norm
react-graph-vis
setwd
commonmark
tableviewer
char-traits
bundletool
vi
system-alert-window
