[0] https://www.complang.tuwien.ac.at/ulrich/prolog_misc/acomip....
I don't think I've ever felt like it's OK for my program to provide a list of answers where some are right and some are wrong, but reading this... and generally believing in P != NP.... maybe that's a decent way of looking at some stuff!