文件名称：TeLLer:TeLLer是工具的集合，这些工具探索了将线性逻辑应用于叙事生成和故事讲述的使用
文件大小：711KB
文件格式：ZIP
更新时间：2024-06-15 13:11:09
Haskell
TeLLer：线性逻辑应用于故事讲述（v0.1.9） TeLLer是工具的集合，这些工具探索了将线性逻辑应用于叙事生成和故事讲述的用法。 当前，有两种可用的工具： TeLLer：交互式线性逻辑证明者和证明浏览器，当前用于研究交互式故事讲述中的因果关系。 CelfToGraph： 的前端。 它允许将Celf的解决方案转换为可以查询的结构化图形。 编译TeLLer工具套件 TeLLer用Haskell编写。 目前，我们仅可通过github获得源代码分发。 假设系统中已安装，则可以按照以下步骤安装TeLLer： git clone https://github.com/jff/TeLLer.git cd TeLLer cabal configure cabal build 此时，可执行文件位于目录dist/ 。 因此，例如，如果要运行CelfToGraph，可以执行： dist/b
【文件预览】：
TeLLer-master
----.gitignore(47B)
----Makefile(209B)
----src()
--------CGraph.hs(4KB)
--------CausalityGraphQueries.hs(5KB)
--------Parser.hs(3KB)
--------Term.hs(2KB)
--------Setup.hs(46B)
--------Util.hs(633B)
--------CelfToGraphParser.hs(8KB)
--------RewriteRules.hs(4KB)
--------CLI.hs(4KB)
--------Arbitrary.hs(2KB)
--------Main.hs(12KB)
--------Printer.hs(2KB)
--------CelfToGraph.hs(22KB)
--------Syntax.hs(756B)
--------Bag.hs(851B)
--------ProverState.hs(12KB)
--------Rewrite.hs(3KB)
--------Reductions.hs(10KB)
--------ReductionRules.hs(10KB)
--------CLINoReadLine.hs(5KB)
--------CausalityGraph.hs(13KB)
--------UserIO.hs(505B)
--------CelfToGraphConf.hs(189B)
----TeLLer.cabal(2KB)
----LICENSE(34KB)
----examples()
--------007(20B)
--------002(46B)
--------012(67B)
--------008(28B)
--------bt4(32B)
--------006(41B)
--------010(49B)
--------005(41B)
--------formula1.txt(101B)
--------formula2.txt(323B)
--------011(54B)
--------001(25B)
--------celf2graph()
--------003(14B)
--------000(44B)
--------named-actions(187B)
--------bt0(26B)
--------009(28B)
--------004(41B)
----README.md(3KB)
----tests()
--------Test.hs(623B)
--------TestRunner.hs(1KB)
----extra()
--------windows7()
--------celf-2.9.2.zip(655KB)
----docs()
--------user-guide()
--------report()