2 ms·
Consider starting here: https://book.simply-logical.space/src/simply-logical.html https://book.simply-logical.space/src/simply-logical.html There isn't much to
by usgroup 2y ago
Consider starting here: https://book.simply-logical.space/src/simply-logical.html 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 2y agoThanks for that! :)
- usgroup 2y agoI'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.