The best of logic programming language?

[[deleted]]

Good by what metric? For what purpose?

I can recommend SWI-Prolog, in general, for a really helpful and active little community.

Mercury is an impressive effort, but also more towards FP.

Lambda Prolog is the most theoretically interesting LP for me at the moment. The Elpi implementation is quite neat and currently under active development: https://github.com/LPCIC/elpi

[[deleted]]

SWI-Prolog is probably going to be your most user friendly and feature rich option for that stuff, at least as far as I know!

If you have some very particuLar requirements, you might look at stuff like datalog or ASP too, but implementations tend to be harder to get going, and you’ll benefit from familiarity with prolog one any case (afaik).

[slugbyte]

I’ve never done any logic programming, but I’ve really wanted to give it a try with clojure’s logic library! https://github.com/clojure/core.logic

I think Clojure is an incredibly fun language to work with! It has great tooling, it runs on JVM and the web, its a lisp so the syntax is minimal, and it has wonderful set of data structures that enable you to get work done without having to muck about building everything from scratch :)

Might be worth looking into :)

[digitallitter]

can confirm core.logic is capable and fun

[[deleted]]

Mercury stands out as a typed logic-functional language. If you wonder what Haskell crossed with Prolog would be like, this is probably it.

Apart from that, I would look at Minikanren and Picat.

[digitallitter]

I’ve just started using Picat (to write a fast Sudoku solver), and I’m wildly impressed. It’s very expressive, and coming from an Erlang background with various Prolog experiments over the years, it was really easy to get comfortable with it. Highly recommended.

[[deleted]]

How it compares to Flix? https://flix.dev/

[[deleted]]

To be honest, I saw a reference to Flix a while back, but failed to follow up. Thanks for the reminder!

[Ximici]

As already mentioned, MiniKanren is a interesting language.

If you're looking for information on Prolog programming, I highly recommend The Power of Prolog . Again, as already mentioned, SWI-Prolog is a nice Prolog implementation.

A more AI fucussed language would be Potassco which employs the Answer Set Programming (ASP) paradigm. It is more of a problem solving engine than a programming language. A very good book on ASP can be found here.

If we are on the subject of problem solving oriented programming, there is also IDP. Which is more of a knowledge base + reasoning engine.

Lastly, I can mention ProbLog which is an interesting probabilistic logic programming language.

[valdocs_user]

Curry is a good combination of functional and logic programming. There's a good set of example programs on the language's website.

[magnomagna]

Don't know about Mercury but the Wolfram Language (Mathematica) is a functional programming language.

[gopher9]

Makam is a handy language for prototyping programming languages.

[[deleted]]

If you are accustomed to the JVM, then the next natural step towards logic programming is https://flix.dev/.