[usgroup]

Consider starting here: https://book.simply-logical.space/src/simply-logical.html

There isn't much to read; you mostly have to spend your time thinking about implications.

It'll quickly test how into logic you really are :-)

Good luck.

[vaguetruth]

Thanks for that! :)

[usgroup]

I'd additionally suggest joining the SWI Prolog board. They are a kind and generous community. Jan Wielemaker -- the principal contributor -- often answers questions directly.

Meanwhile, SWI Prolog is a mature and commercially used open-source Prolog distribution. It has a huge number of libraries which will come in useful for real world applications.