Ist*_*van 13 paradigms programming-languages logic-programming
是否有比Prolog更专用于逻辑编程的新语言？
小智 9
水星很漂亮,很现代,类似于prolog.
Mercury是一种新的逻辑/函数编程语言,它将声明性编程的清晰度和表现力与高级静态分析和错误检测功能相结合.其高度优化的执行算法提供的效率远远超过现有的逻辑编程系统,并且接近传统的编程系统.Mercury解决了大规模程序开发的问题,允许模块化,单独编译以及众多优化/时间权衡.
Vit*_*nko 5
有一种非常有前途的功能逻辑编程语言叫做Curry.如果您已经了解Haskell和Prolog,它应该很容易习惯Curry,因为它直接受到这两种语言的影响.
Curry以无缝方式组合功能编程(嵌套表达式,高阶函数,惰性求值),逻辑编程(逻辑变量,部分数据结构,内置搜索)和并发编程(同步表达式的并发评估)逻辑变量).
归档时间：
14 年，7 月 前
查看次数：
4181 次
最近记录：
7 年，3 月 前