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
connector-j
aws-pinpoint
apple-pencil
nem
microcontroller
convertapi
azure-functions-docker
versionupgrade
hungarian-algorithm
grunt-contrib-copy
clusterize
navigator-ios
django-database
apache-iceberg
nsimageview
radix-sort
data-handling
qt5.4
uipinchgesturerecognizer
windows-phone
api-key
matchmedia
fastapi
angularjs-service
ibm-blockchain
nodemcu-build
tsd
php-printer
sfinae
alignas
