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
gnome
visual-c++-extensions
dhtmlx-scheduler
cherokee
ng2-smart-table
custom-react-scripts
ocaml
python-importlib
onnx
donkeyclip
google-cloud-tasks
mysql-dependent-subquery
qgraphicspixmapitem
dotnet-new
w3m
search-path
boofcv
extjs6.5
causality
suitescript1.0
w3c-validation
elasticsearch-snapshot
simplehttpserver
twistd
tzdata
grapesjs
biztalk-2010
stone-webviewer
librt
jupyter-contrib-nbextensions
