4 ms·

I thought this was interesting and very well put together. Can anyone with more of a CS background provide any additional context here? I gather from the articl

by decasia 11y ago

I thought this was interesting and very well put together. Can anyone with more of a CS background provide any additional context here? I gather from the article like there is a small but growing domain of these "relational" languages.

sevensor 11y ago
Like the author said, this is an old idea that's recently been revived. (I agree that the article was quite well done.) Most of the ideas he described, like goals and unification, have been a feature of logic programming for ages. Prolog is the classic language in logic programming --- it attracted major interest during the AI bubble in the 1980s and survives mainly as an educational language today. It's worth a look, particularly since there are so many educational materials available.
coliveira 11y ago
This is an idea that has been implemented in Prolog for 30 years, and it can also be implemented in Lisp with some effort, similarly to the presentation in this post. If you really want to know what this can do, just get a few Prolog books such as "the craft of Prolog". The language is easy to understand, and the ideas behind it can be used in many other languages.
bwanab 11y ago
David Nolan has a very nice introduction with examples using Clojure as the base language: https://github.com/swannodette/logic-tutorial https://github.com/swannodette/logic-tutorial.
nickpsecurity 11y ago
It can help in this and similar discussion to start with Wikipedia's Programming Paradigms (see right side). Just go through them, look at the examples, and go to papers or web site of more promising ones (esp actively developed). So, top in logic programming last I checked was Mercury language. They probably have good articles, examples, whatever on their site. Here's some other examples from those pages: https://en.wikipedia.org/wiki/Declarative_programming https://en.wikipedia.org/wiki/Declarative_programming https://en.wikipedia.org/wiki/Database_query_language https://en.wikipedia.org/wiki/Database_query_language https://en.wikipedia.org/wiki/Logic_programming https://en.wikipedia.org/wiki/Logic_programming https://en.wikipedia.org/wiki/Inductive_programming https://en.wikipedia.org/wiki/Inductive_programming You'll probably have the most fun with those. Might take you months to dig through all of that if you're following up on the various types with further research. You'll also be one of the only ones that know what the hell you're talking about when topic comes up next in form of "what can or can't it do?" ;)

by decasia 11y ago

sevensor 11y ago

Like the author said, this is an old idea that's recently been revived. (I agree that the article was quite well done.) Most of the ideas he described, like goals and unification, have been a feature of logic programming for ages. Prolog is the classic language in logic programming --- it attracted major interest during the AI bubble in the 1980s and survives mainly as an educational language today. It's worth a look, particularly since there are so many educational materials available.

coliveira 11y ago

This is an idea that has been implemented in Prolog for 30 years, and it can also be implemented in Lisp with some effort, similarly to the presentation in this post. If you really want to know what this can do, just get a few Prolog books such as "the craft of Prolog". The language is easy to understand, and the ideas behind it can be used in many other languages.

bwanab 11y ago

David Nolan has a very nice introduction with examples using Clojure as the base language: https://github.com/swannodette/logic-tutorial https://github.com/swannodette/logic-tutorial.

nickpsecurity 11y ago

It can help in this and similar discussion to start with Wikipedia's Programming Paradigms (see right side). Just go through them, look at the examples, and go to papers or web site of more promising ones (esp actively developed). So, top in logic programming last I checked was Mercury language. They probably have good articles, examples, whatever on their site. Here's some other examples from those pages: https://en.wikipedia.org/wiki/Declarative_programming https://en.wikipedia.org/wiki/Declarative_programming https://en.wikipedia.org/wiki/Database_query_language https://en.wikipedia.org/wiki/Database_query_language https://en.wikipedia.org/wiki/Logic_programming https://en.wikipedia.org/wiki/Logic_programming https://en.wikipedia.org/wiki/Inductive_programming https://en.wikipedia.org/wiki/Inductive_programming You'll probably have the most fun with those. Might take you months to dig through all of that if you're following up on the various types with further research. You'll also be one of the only ones that know what the hell you're talking about when topic comes up next in form of "what can or can't it do?" ;)