Using Prolog for Sudoku Variants

• paip-lisp

  65 7,006 0.8 Common Lisp

  Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Yes, and commercial Lisp implementations often include a reasonably performant Prolog.

If you'd like to see how to do that yourself: https://github.com/norvig/paip-lisp

• z3

  28 9,708 9.8 C++

  The Z3 Theorem Prover

  

Don't get me wrong, Prolog is cool... but in 2021, why use a completely different language and not a SAT solver DSL (domain specific language) bound into your favorite imperative language, e.g. Python. Then you get all your favorite libraries for I/O, data transformation, UI/UX, etc.

Examples include Google OR-tools, Microsoft Z3, etc.

https://developers.google.com/optimization

https://github.com/Z3Prover/z3

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• or-tools

  57 10,423 9.9 C++

  Google's Operations Research tools:

  

Don't get me wrong, Prolog is cool... but in 2021, why use a completely different language and not a SAT solver DSL (domain specific language) bound into your favorite imperative language, e.g. Python. Then you get all your favorite libraries for I/O, data transformation, UI/UX, etc.

Examples include Google OR-tools, Microsoft Z3, etc.

https://developers.google.com/optimization

https://github.com/Z3Prover/z3

Suggest a related project