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
jodit
command-prompt
setuid
dladdr
rvest
generic-collections
google-places
nft
cs50
compact-framework2.0
busy-cursor
sprache
metatable
image-text
awesome-wm
jssc
asp.net
gcp-iam
split-screen
megaparsec
ammo.js
home-screen-widget
termsql
memory-alignment
djoser
actioncable
graphqlclient
ecmake
android-webview-javascript
gwt-super-dev-mode
