Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Trying to come up with a list of _interesting_ logic programming systems to learn from and maybe try.
<https://docs.google.com/spreadsheets/d/1Y14z6UTFOJL887a00RnamtvxvscU9xzSqew_o0U5nuI/edit?usp=sharing|Maybe someone here want to contribute to it>?

BTW, I'm sure there are other lists like this, maybe we can add links to them?
For instance, I included a link to a <https://en.wikipedia.org/wiki/Category:Logic_programming_languages|Wikipedia's list of logic PL>, but it lists a lot of defunct systems which are more difficult to learn from imho.

For "learning from", miniKanren is hard to beat. Even its implementation is small enough that you can look at and learn from it.

Implementation is interesting but I'm also interested in the overall look of the languages, also interested in comparing language feature sets, etc

I'm also looking for differences in syntax and semantics ... I'm not sure I love prolog's `term(VAR, value)` syntax, I suspect some logic language out there may have some diff syntax (other than s-expressions)

I recommend adding Dyna to your list. I don't think they have a polished implementation, but there are 3-4 papers on it, including a dissertation.

Hi! I added a link to Lambda Prolog. It’s probably my favorite syntax for an LP lang that I’ve yet seen. It has a very ML flavor. Here’s are some simple examples: <https://github.com/shonfeder/99-lambda-prolog-problems/blob/trunk/solutions/lists.mod|https://github.com/shonfeder/99-lambda-prolog-problems/blob/trunk/solutions/lists.mod>

I would check out Flora-2, which adds OOP-ish frame syntax, uses ? to signify variables, etc. I'm also a big fan of s(CASP), but for its capabilities, not it's syntax. I find the absence of disjunction in the syntax pretty infuriating, actually. :)