Prolog(Programming in logic)是一种面向演绎推理的逻辑型程序设计语言。
基于不同的需求或潜在的需求，编程语言不断更新，人的思维要主动拥抱变化保持更新！just do it！
https://www.oschina.net/translate/introduction-to-logic-programming-with-prolog
http://www.ruanyifeng.com/blog/2019/01/prolog.html
