gpt4 book ai didi

programming-languages - 比 Prolog 更新的逻辑编程语言

转载 作者:行者123 更新时间:2023-12-02 02:05:51 25 4
gpt4 key购买 nike

有没有比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/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com