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.
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.
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.