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.
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?