Solutions of NP-Hard problems in prolog