In accordance with our meta agreement to have a Language of the Month, and since the list of nominations has a single highest-voted entry as February nears its end, I am pleased to announce the very first featured language! Throughout March 2018, our Language of the Month, proposed by Fatalize, will be:
Brachylog
What's a Language of the Month?
See the meta posts linked above. In short, during March, those who wish to participate should learn (at least the basics of) Brachylog, use it to solve challenges, and discuss it in the Brachylog chat room. Participation is completely optional, but is anticipated to be fun!
Information about Brachylog
Copied from the nomination post:
Brachylog is a declarative logic language. You will thus discover new programming principles and mechanisms, such as unification, backtracking, and constraint integer arithmetic, that you've probably never experienced in other non-declarative languages.
Programming with a declarative language such as Brachylog requires a significantly different mindset compared to your typical imperative languages. This may give you a new perspective on solving programming problems in general (see this quote by a PPCG user).
Brachylog is a general purpose code golf language. Although it's much better at some tasks than others, and not always as competitive as say Jelly, you should be able to tackle the vast majority of challenges with it, and it can sometimes be remarkably terse.
Documentation
Interpreter
The simplest way to run Brachylog is through Try it online!
You can also download the sources of Brachylog here, and run the language using SWI-Prolog (this is pretty much only useful if you somehow want to use the debugger).