文件名称：CoALP:代数逻辑编程的 Haskell 实现
文件大小：90KB
文件格式：ZIP
更新时间：2024-08-06 09:05:18
Haskell
碱性磷酸酶 :copyright: 2014-2015：CoALP 项目，邓迪大学 许可证：LGPL v3 概要 代数逻辑编程的 Haskell 实现。 实验、开发版本。 安装 使用cabal标准安装 从项目目录运行： cabal install 带有可选测试的安装 从项目目录运行： cabal install --enable-tests 然后您可以从其安装位置运行测试套件CoALP-tests 。 外部要求 Graphwiz需要保存派生，特别是dot工具。 eog目前被硬编码为保存文件的查看器。 然而，这些是与通用图形查看器兼容的标准 PNG 文件。 使用说明 请参考CoALPi -h的帮助。 CoALPi 有两种操作模式：交互（默认）和非交互（通过选项-n开启）。 非交互模式可用于脚本目的，因为它通过标准 Unix 管道接受程序和目标，如下所示： cat programs/typein
【文件预览】：
CoALP-master
----LICENSE(7KB)
----CoALP.cabal(5KB)
----LICENSE.GPL(34KB)
----README.md(3KB)
----tests()
--------Tests.hs(314B)
--------CoALP()
----lib()
--------CoALP.hs(334B)
--------CoALP()
----benchmarks()
--------Fibs.hs(2KB)
--------Automata.hs(2KB)
----programs()
--------btree_ground3500.logic(782KB)
--------naive_sort.logic(462B)
--------question30.logic(163B)
--------guarded()
--------typeinference()
--------btree.logic(80B)
--------unguarded()
----interpreter()
--------CoALPi.hs(10KB)
--------CoALP()