What are state of the art backward chaining packages/tools/github algorithms in Python? It would be nice if you could also comment on the strengths and weaknesses of each solution !

  • $\begingroup$ Hi and welcome to AI SE! If you're looking for software recommendations, you'd better ask your question at https://softwarerecs.stackexchange.com/. If you're only looking for state-of-the-art AI algorithms and models, then your question should on the topic here. Maybe you can reformulate your question so that you're looking for SOTA algorithms or models and, in addition, you can say that it would also be nice to have links to their implementations. $\endgroup$ – nbro Mar 4 '20 at 15:55
  • $\begingroup$ I think this is on topic, but it's outside of my area. Pyke (pyke.sourceforge.net/logic_programming/rules/…) is at least one such package, but I'm not well versed in its benefits and drawbacks. This may be worth cross-posting to the CS Theory Stack, as a lot of SAT-style problems and approximation algs in that community rely on logic-programming toolkits. $\endgroup$ – John Doucette Mar 5 '20 at 15:53
  • $\begingroup$ Thanks @ John Doucette for your comment. Are you sure I should move my question to the CS Theory Stack? I’m not sure I would get recommendations on Python libraries there as it is a theoretical community. $\endgroup$ – nous Mar 13 '20 at 16:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.