【文件属性】：
文件名称：untitled-relational-interpreter-book:miniKanren中的关系编程
文件大小：302KB
文件格式：ZIP
更新时间：2021-05-25 23:16:15
Scheme
无标题的关系翻译书
经过
威廉·E·伯德
更新（02015年6月23日）：
新工作名称：
“在miniKanren中玩可执行语义”
我目前的想法是展示如何在miniKanren中编码多个形式化系统，理想情况下直接从语义上进行编码。 这将包括针对计划式语言和“ While”命令式语言的口译员，以及其他正式系统和语言。
因此，我正在研究另一个新的大纲（ outline.txt ）。
更新（02015年6月14日）：
我已经多次更改了书/存储库的名称，所以现在我仅将存储库称为“ untitled-relational-interpreter-book”。
这本书的工作名称是：
与关系翻译一起玩
我希望我能捕捉到与关系翻译一起玩的乐趣和兴奋感。
我当前的计划是写一本关于关系解释器的精简且非常有针对性的书，并删除所有令人讨厌的东西。 我希望这本书能被尽可能多的读者所理解。 重点狭窄
【文件预览】：
untitled-relational-interpreter-book-master
----old-outlines()
--------most-recent-outline.txt(10KB)
--------most-recent-old-outline.org(20KB)
--------old-outline-small.org(23KB)
--------outline-big.org(6KB)
----latex()
--------slatex()
--------preface.tex(25KB)
--------urib.bib(129KB)
--------automata.tex(262B)
--------tufte-common.def(65KB)
--------introduction.tex(7KB)
--------urib.tex(6KB)
--------xeslatex(160B)
--------scmxlate()
--------build(353B)
--------language.tex(270B)
--------conclusion.tex(221B)
--------Makefile(247B)
--------acknowledgments.tex(99B)
--------title.tex(303B)
--------urib-prelude.tex(2KB)
--------urib.pdf(65KB)
--------tufte-book.cls(2KB)
--------interpreters.tex(346B)
--------quotes.txt(103B)
--------fancyvrb1.sty(2KB)
----README.md(6KB)
----old-src()
--------pmatch.scm(3KB)
--------interp.scm(26KB)
--------scope.scm(52KB)
--------mk.scm(20KB)
--------test-check.scm(391B)
--------matche.scm(4KB)