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.
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!
He puts the "turd" in "saturday". Speaking of which, have you smelled this tiny ad?