If you just want to dip in, grab https://www.scryer.pl/ https://www.scryer.pl/ and do some exercises from https://www.metalevel.at/prolog https://www.metalevel.

If you just want to dip in, grab https://www.scryer.pl/ https://www.scryer.pl/ and do some exercises from https://www.metalevel.at/prolog https://www.metalevel.at/prolog. Scryer is a good start because it's ISO. Datalog is kind of a subset, MiniKanren is somewhat related but not Prolog, and Picat is kind of Prolog with an imperative language within it.