Logical programming is when you give the computer a list of constraints and it produces something that fits within the confines of those constraints. I can’t think of a single project actually worth using that uses the logical programming paradigm. It’s strictly, purely, a meme paradigm.