The Power of Prolog
Roughly half the &#x27;power of prolog&#x27; comes from the &#x27;power of logic programming&#x27; and prolog is by far not the only logic programming language, e.g.,<p>- You can do logic programming using minikanren in scheme. (you can also extend the minikanren system if you find a feature missing).<p>- Minikanren was implemented in clojure and called core.logic.<p>- It was also ported to python by Matthew Rocklin I think, called logpy.<p>- There is also datalog, with pydatalog it&#x27;s python equivalent.<p>- Also pyke. And so on.<p>Plus logic programming has very important (arguably necessary) extensions in the form of constraint-logic-programming (CLP), inductive-logic-programming (ILP), and so on.<p>It&#x27;s a huge area.<p>EDIT: ILP at an advanced level starts making connections with PGMs (probabilistic graphical models) and hence machine learning, but its a long way to go for me (in terms of learning) before I start to make sense of all these puzzle pieces.<p>EDIT 2: You can have a taste of logic programming without leaving your favorite programming language. Just try to solve the zebra puzzle [1] (without help if you can, esp. through any of Norvig posts or videos; they&#x27;re addictive).<p>[1] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Zebra_Puzzle" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Zebra_Puzzle</a><p>EDIT 3: An &quot;expert system&quot; (a term from the 1980s) is largely a logic programming system paired up with a huge database of facts (and probably some way of growing the database by providing an entry method to non-programmer domain experts).<p>EDIT 4: In other words, logic programming (along with other things like graph search etc) is at the core of GOFAI (good old fashioned AI), the pre-machine-learning form of AI, chess engine being a preeminent example of it.