What modern logic programming languages ​​exist?

Question

Prolog

Hello.
Once upon a time I read that there are not many varieties of programming languages. Procedural, functional, logical and OOP. Time passed, Smalltalk was replaced by C ++, pythons and erlangs appeared. And only with Prologue did something go wrong. I couldn't google any modern logic programming language. Do they exist? Or am I just not good at googling?

Answer 1

1) logic programming is a rather niche thing, it has a certain entry threshold and therefore, unlike front-end development and JS, you will not meet it every day;
2) those who really need it may well develop their own dialects and even their own languages ​​with the same concept, but more convenient for specific tasks - these languages ​​will also be logic programming languages, but you will not find them by googling for the word "Prolog" ; it should also be noted that there are less powerful languages ​​\u200b\u200bwith a slightly different scope, for example Datalog - if used correctly, very interesting language alternatives to the same SQL are obtained - there is even a whole research direction - deductive databases ;
3) here are quite a few answers -stackoverflow.com/questions/130097/real-world-prol... - and again we see that the language turned out to be useful to those who managed to apply it, this is to point 1. As a rule, these are some medium and large systems, where Prolog was convenient as a DSL - it described any rules or logical conclusions. As with any DSL, you need to come to Prolog - i.e. understand that you need it, or a subset of it.
4) Google is not so difficult, if we accept that the language (languages) is rather niche than general purpose;
5) Do you google in English? And then in Russian you will most likely only find reprints from textbooks, tk. fresh information will be from those people who are engaged in this, and large information systems began to appear in our country 10 years ago. In Russian, with the same success, it is better to open some Soviet textbook - you will get a good theory in a strict and accurate presentation (although I think you already have this).

Answer 2

SWI-Prolog , Visual Prolog.
Who Killed Prolog?
Wikipedia: Logic programming languages

Answer 3

the future logical language is the language of strong AI
prologue failed to build AI
loglan and Lojban also
humanity does not have a language model
human language is logic
stupidity-illogicality-madness .. our civilization once again confirms that a person does not own logic, does not understand his language , does not know how to think and cannot create a logical language,
that is, the evolution of logical programming has stopped somewhere at the level of prologue