Prolog, Mercury, Datalog. Very of intrigued by Verse now that I know it has some logic programming features.
Mercury is, roughly, a fusion of Haskell and Prolog. Bizarre and fascinating.
Prolog and Datalog are great but not aimed at general purpose programming.
Really I just want to see more people trying to adapt ideas from logic programming for general purpose use. Logic programming feels truly magic at times, in a way that other paradigms do not (to me at least).
I really need to try out Mercury one day. When we did a project in Prolog at uni, it felt cool, but also incredibly dynamic in a bad way. There were a few times when we misspelled some clause, which normally would be an error, but in our case it just meant falsehood. We then spent waaay to much time searching for these. I can’t help but think that Mercury would be as fun as Prolog, but less annoying.
I actually use from time to time the Bower email client, which is written in Mercury.
Datalog is sometimes used as an alternative to SQL. Prolog is used by researchers experimenting with rule systems (e.g. type systems, theorem provers, etc).
Mercury has been used to write regular desktop software, with a couple of notable successes.
One way to think about Mercury is that it’s like Haskell, except it’s so declarative that the functions can run backwards, generating arguments from return values! Obviously that comes with some pretty big caveats, but in many cases it works great and is extremely useful.
Example?
Perhaps they had Prolog in mind?
Prolog, Mercury, Datalog. Very of intrigued by Verse now that I know it has some logic programming features.
Mercury is, roughly, a fusion of Haskell and Prolog. Bizarre and fascinating.
Prolog and Datalog are great but not aimed at general purpose programming.
Really I just want to see more people trying to adapt ideas from logic programming for general purpose use. Logic programming feels truly magic at times, in a way that other paradigms do not (to me at least).
I really need to try out Mercury one day. When we did a project in Prolog at uni, it felt cool, but also incredibly dynamic in a bad way. There were a few times when we misspelled some clause, which normally would be an error, but in our case it just meant falsehood. We then spent waaay to much time searching for these. I can’t help but think that Mercury would be as fun as Prolog, but less annoying.
I actually use from time to time the Bower email client, which is written in Mercury.
What makes a language a “logic programming language” aren’t all language logic based?
c++, python, jaca etc. are imperative languages.
https://towardsdatascience.com/logic-programming-rethinking-the-way-we-program-8706b2adc3f1?gi=197c2514775b
this explains the difference, I didn’t care to read enough to be actually able to tell you the difference properly. but the difference is big
It seems to be incredibly concise, I wonder what kind of use cases this language has.
Datalog is sometimes used as an alternative to SQL. Prolog is used by researchers experimenting with rule systems (e.g. type systems, theorem provers, etc).
Mercury has been used to write regular desktop software, with a couple of notable successes.
One way to think about Mercury is that it’s like Haskell, except it’s so declarative that the functions can run backwards, generating arguments from return values! Obviously that comes with some pretty big caveats, but in many cases it works great and is extremely useful.
How likely is it to use one for more standard programming e.g. something where python, JavaScript, C or something would normally be used?