Héllo,<p>I'm trying to get started with symbolic AI. I hear that the best of the best in the field is Cyc tho it's not opensource. I'm not willing to loose time a on some-what-opensource-project-but-not-really.<p>I started learning minikanren, but I don't find much example use of it in the field of symbolic AI in particular NLP tasks.<p>My aim is to be able to build by hand a Q/A system on-top of ConceptNet or WikiData to understand how it falls short compared to probabilistic solutions.<p>How do you think I should continue my journey. Learn Prolog or Pro<i></i>b<i></i>log, maybe you can advise the study any particular free Q/A system?