Oz语言
Oz是多范式编程语言，由Université catholique de Louvain的编程系统实验室开发，主要用于计算机编程语言的教学。它还提供相关语言教材《Concepts, Techniques, and Models of Computer Programming》。 Mozart Programming System是 Oz 语言的主要实现，由Mozart Consortium作为开源软件发布。目前Mozart已经被移植到了…
标签：#逻辑编程语言
共 3 篇文章
Curry語言
Curry，是一種實驗式的函數程式語言，基於Haskell而實作，混合了函數與邏輯編程，也加入約束編程的特性。它的名稱取自數學家哈斯凱爾·加里，在許多層面，它可以被視為是Haskell的超集合。 參考資料 外部連結 [http://www.curry-language.org/ Curry官方首頁] [http://www-ps.informatik.uni-kiel.de/smap/ Smap] - A web-based execu…
Mercury语言
Mercury是为现实世界使用而开发的函数式逻辑编程语言。最初版本是墨尔本大学计算机科学系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi监督下完成的，并在1995年4月8日发行。 Mercury是纯声明式逻辑编程语言。它有关于Prolog和Haskell二者。它的特征是有强、静态、多态类型系统，和强的模态（mode）和确定性系统。 官方实现是墨尔本Mercury编译器，可以在…