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
libdl
phonebook
apache-karaf-feature
rce
apache-camel
android-radiobutton
asp.net-core-routing
connector-net
uicontentview
o-d-matrix
jdwp
avspeechsynthesizer
linkedblockingqueue
fringe
many-to-many
bodo
zendesk-api
extjs-grid
codecept
multiple-variable-return
sizetocontent
angular-providers
motion-planning
flexbox
vuze
inputbinding
qset
default-arguments
lifecycle
controlled-component
