CoALP:代数逻辑编程的 Haskell 实现
需积分: 5 80 浏览量
2021-07-17
15:18:38
上传
评论
收藏 90KB ZIP 举报
CoALP-master.zip （93个子文件） 
CoALP-master 
LICENSE 7KB CoALP.cabal 5KB LICENSE.GPL 34KB README.md 3KB tests Tests.hs 314B CoALP Tests Unit Guards.hs 2KB Subst.hs 2KB lib CoALP.hs 334B CoALP Term.hs 6KB Tree.hs 11KB Derivation.hs 5KB Subst.hs 13KB UI Parser.hs 7KB Printer.hs 3KB Dot.hs 5KB UI.hs 176B Resolution.hs 9KB Clause.hs 2KB benchmarks Fibs.hs 2KB Automata.hs 2KB programs btree_ground3500.logic 782KB naive_sort.logic 462B question30.logic 163B guarded nqueens.logic 889B automaton.logic 155B consume-rename.logic 33B listnat.logic 72B guarded7.logic 70B guarded10.logic 54B consume-rename-2.logic 50B coinductivep.logic 17B parsetest.logic 100B guarded4.logic 60B guarded1.logic 54B from.logic 32B guarded5.logic 55B streamnat.logic 71B generate_infinite_list.logic 70B guarded2.logic 54B guarded11.logic 88B member2.logic 89B path.logic 95B guarded6.logic 62B family.logic 275B infinite012.logic 57B guarded9.logic 55B guarded3.logic 54B stream.logic 57B infiniteautomata.logic 186B fib.logic 379B append.logic 62B nats.logic 67B member1.logic 57B typeinference typeinf2.logic 172B typeinf.logic 499B tom.logic 730B btree.logic 80B unguarded Check1 comember.logic 122B unguarded5.logic 58B unguarded3.logic 50B unguarded1.logic 28B unguarded23.logic 20B Check3 unguarded28.logic 111B unguarded13.logic 69B unguarded8.logic 32B unguarded14.logic 91B unguarded21.logic 37B unguarded30.logic 88B unguarded9.logic 44B unguarded31.logic 109B unguarded22.logic 42B unguarded15.logic 725B unguarded20.logic 116B ex-P9.logic 86B unguarded17.logic 451B unguarded27.logic 286B unguarded19.logic 280B unguarded18.logic 27B unguarded12.logic 83B unguarded25.logic 24B unguarded11.logic 60B unguarded10.logic 44B unguarded29.logic 72B unguarded6.logic 82B Check2 unguarded2.logic 42B unguarded4.logic 74B unguarded7.logic 44B unguarded24.logic 17B unguarded25.logic 52B unguarded26.logic 52B unguarded16.logic 84B interpreter CoALPi.hs 10KB CoALP Interpreter Options.hs 2KB资源评论
