最近，我花了一段时间与专门在Prolog中编程了20年的人在一起。我们谈到了他在2019年使用的Prolog新花样，这些花样在2000年并未广为人知。他一直在为测试生成而开发基于语法的模糊测试……听起来像Prolog的自然应用。
所以我想知道Prolog还有什么亮点？因此，我想向经验丰富的Prolog程序员提出三个问题：
Q1：是什么让他们保持这种语言？
Q2：是否有人可以找到新一代Prolog应用程序的指针？
Q3：是否有人对新一代Prolog技术有所了解？仅供参考：我知道大多数Bratko / Sterling / O'Keith / Clocksin＆Mellish方法。