2019年的高级prolog技巧？

最近，我花了一些时间和一个20年来一直用Prolog编程的人在一起。我们谈到了他在2019年使用的新的序言技巧，这些技巧在2000年并不广为人知。e、 他一直致力于基于语法的模糊测试生成。。。这听起来像是Prolog的自然应用程序

所以我想知道还有什么会点亮Prolog？根据，我想问有经验的Prolog程序员三个问题：

问题1：是什么让他们使用这种语言

问题2：有人找到新一代Prolog应用程序的指针吗

---

问3：有人参考过新一代的Prolog技术吗？仅供参考：我知道大多数Bratko/Sterling/O'Keith/Clocksin和Mellish方法

我可以向您介绍Logtalk语言。 它用对象扩充Prolog

---

我可以推荐你使用Logtalk语言。 它用对象扩充Prolog

---

我建议在上个月问这个问题，因为如上所述，这不适合堆栈溢出。不知何故，我错过了这个问题-为时已晚：Q0新技巧：1mo，call/N-虽然发明于20世纪80年代，但它花了一段时间才被接受。即使是现在，它的后果也没有得到充分的认识。这允许类型良好的高阶编程。2do，符合ISO的成熟CLPFD/Z实施。3tio，dif/2对大众而言，Q3:，我建议在上世纪80年代发明时，需要一段时间才能被接受，因为如上所述，这不适合堆栈溢出。不知何故，我错过了这个问题——为时已晚：Q0新技巧：1mo，call/N。即使是现在，它的后果也没有得到充分的认识。这允许类型良好的高阶编程。2do，符合ISO的成熟CLPFD/Z实施。3tio，dif/2质量质量的Q3:，