Logic Programming

[Campbell Ritchie]

We have some new fora about different programming paradigms. Some of them are well‑known and some rather obscure. We hope people will have questions about different modes of programming.

[Tim Moores]

We even have a page to get you started with one of the most prominent of logic pragramming languages - Prolog. See https://coderanch.com/wiki/660029/Learn-Prolog for some simple code, and where to find a free implementation to get you started.

[Peter Rooke]

This made me laugh!  I hope I'm not the only one who spent a few months writing many complex recursive Prolog clauses to be given the rather disappointing "true" answer.  
Even worse when you got a "false" which should have been true!