有没有比Prolog更新的专门用于逻辑编程的语言？
最佳答案
Mercury漂亮又现代，类似于序言。
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
关于programming-languages - 比 Prolog 更新的逻辑编程语言，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/4706418/