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
svn
google-cloud-python
ldc
json-extract
web-sql
elevation
bootstrap-4.1.x
express-generator
sweetalert
layouttransition
cross-fade
pinvoke
angular-material-datetimepicker
android-instant-run
exception-safety
kotlin-js
event-listener
numeral.js
llvm-py
safari-11
package-managers
git
sunpkcs11
pad
jsx
cgroups
fxcop
tabulator-py
unreachable-statement
office365-restapi