【文件属性】：
文件名称：CoALP:代数逻辑编程的 Haskell 实现
文件大小：90KB
文件格式：ZIP
更新时间：2021-07-17 15:18:38
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()