【文件属性】：
文件名称：uKanren_translator：将miniKanren转换为Haskell
文件大小：1.15MB
文件格式：ZIP
更新时间：2021-02-18 15:40:35
haskell translator minikanren TeX
uKanren_translator
将miniKanren（ ）转换为Haskell
解析语法
Prog -> Def* Goal
Term -> Ident | '<' Ident : Term* '>'
Def -> :: Ident Ident* = Goal
Goal -> Disj | Fresh | Invoke
Fresh -> '[' Ident+ ':' Goal ']'
Invoke -> '{' Ident Term* '}'
Disj -> Conj ('\/' Conj)*
Conj -> Pat ('/\' Pat)*
Pat -> Term '===' Term | Fin
Fin -> Fresh | '(' Disj ')'
【文件预览】：
uKanren_translator-master
----.gitignore(160B)
----stack.yaml(210B)
----README.md(542B)
----resources()
--------bool(402B)
--------list(1KB)
--------permSort(646B)
--------num(669B)
--------extra(2KB)
--------programs(1KB)
----test()
--------Reverso.hs(2KB)
--------Revacco.hs(3KB)
--------PermSort.hs(6KB)
--------DoubleAppendo.hs(2KB)
--------Appendo.hs(3KB)
--------Spec.hs(6KB)
--------AppendoCtorUnif.hs(3KB)
----thesis()
--------README.md(15B)
--------LICENSE(11KB)
--------spbau-diploma.cls(13KB)
--------main.tex(2KB)
--------figures()
--------contents()
----LICENSE(1KB)
----app()
--------Main.hs(8KB)
----.gitattributes(0B)
----src()
--------Init.hs(2KB)
--------Parser.hs(6KB)
--------Annotator()
--------Lib()
--------Translator.hs(9KB)
--------AFSyntax.hs(4KB)
----bta()
--------IEEEbib.bib(3KB)
--------SEIM-2020.out(3KB)
--------SEIM-2020.fls(28KB)
--------EngTitle.synctex.gz(6KB)
--------SEIM-2020.bbl(2KB)
--------SEIM-2020.fdb_latexmk(28KB)
--------SEIM-2020.pdf(489KB)
--------SEIM-preso()
--------IEEEtran.bst(58KB)
--------SEIM-2020.tex(54KB)
--------SEIM-2020.blg(1KB)
--------EngTitle.tex(2KB)
--------EngTitle.pdf(56KB)
--------IEEEtran.cls(282KB)
----ktrans.cabal(2KB)
----.travis.yml(1KB)