guys! I'm into logic and philosophy of language applied to psychology. stumbled on this site from googling prolog! please, can you recommend a programming Prolog video intro for me? And subsequent todo (applied) videos I can follow. I'm interested in programming (my undergrad is cs) immediately and applying Prolog to write psycho-philosophical case studies.
I don’t know about your particular use case, but it is never a bad idea to learn Prolog.<p><a href="https://www.metalevel.at/prolog" rel="nofollow">https://www.metalevel.at/prolog</a><p>The Power of Prolog is an extremely in depth, comprehensive introduction that starts right from fundamentals, and goes into some pretty advanced topics. It’s a really great resource, with well-produced accompanying videos, and leans into properly grokking the language and the “Prolog way” of problem solving.<p>I’d make a meta point that learning Prolog and forcing yourself to solve problems the “prolog way” serves as a great exercise in understanding the importance of using the right tool for the job, and working with, rather than in spite of , your tools.
You seem to have a very specific use case in mind and I am not really sure whether Prolog is going to be a good fit, but there was recently a discussion about the language: <a href="https://news.ycombinator.com/item?id=40994552">https://news.ycombinator.com/item?id=40994552</a><p>Specifically, this online book (mentioned in that discussion) may be a good resource, I've used author's content as a reference several times: <a href="https://www.metalevel.at/prolog" rel="nofollow">https://www.metalevel.at/prolog</a>
What do you mean by "psycho-philosophical case studies"? Why do you think that you need Prolog for this? Are you familiar e.g. with CYC and their way of knowledge formalisation/representation? See e.g <a href="https://iral.cs.umbc.edu/Pubs/AAAI06SS-SyntaxAndContentOfCyc.pdf" rel="nofollow">https://iral.cs.umbc.edu/Pubs/AAAI06SS-SyntaxAndContentOfCyc...</a> (or the full list of publications <a href="https://cyc.com/publications/" rel="nofollow">https://cyc.com/publications/</a>). CYC is interesting because they have been formalizing knowledge for a very long time, and in parallel have also improved their methods and technologies. Prolog is very rudimentary in comparison. Or did you have a look at e.g. the <a href="https://en.wikipedia.org/wiki/Semantic_Web" rel="nofollow">https://en.wikipedia.org/wiki/Semantic_Web</a> with all the related technologies, such as OWL?
Consider starting here: <a href="https://book.simply-logical.space/src/simply-logical.html" rel="nofollow">https://book.simply-logical.space/src/simply-logical.html</a><p>There isn't much to read; you mostly have to spend your time thinking about implications.<p>It'll quickly test how into logic you really are :-)<p>Good luck.