非常感谢以下所有人为Dao带来的帮助：
Guido van Rossum和Python软件基金会带来的Python编程语言。(http://www.python.org)
pypy项目中的所有人和材料，特别是其中的prolog和scheme实现，Dao中的逻辑引擎最初就是pypy prolog的修改版本，目前的版本融合了yield prolog对yield语句的使用，从而去除了pypy prolog中的fail continuation（fcont）。 (http://www.pypy.org)
- Christophe Delord, 最初我就是从他的pylog学到了如何实现prolog的项及其合一。
- (http://christophe.delord.free.fr/pylog/index.html)
Zope和Zope3，他们的测试框架给我很多帮助。同时我也是从Zope学到了Web编程，以及其它许多东西。(http://www.zope.org)
nose测试框架，Dao正在使用它。(http://readthedocs.org/docs/nose)
Daniel P. Friedman 和 Mitchell Wand, 感谢他们撰写的经典书籍EOPL：”Essentials of Programming Languages”，我从中理解了lisp的实现。
Christian Queinnec 和 Ecole Polytechnique 撰写的, Kathleen Callaway 翻译的书籍：”Lisp in Small Pieces”，Dao中的类lisp构造的实现代码有很多是直接从本书移植而来。
Danny Yoo和他的pyscheme。 (dyoo@hkn.eecs.berkeley.edu)
Yigal Duppen和他的Psyche, 用python编写的Scheme解释器。
Riaan Booysen的Boa Constructor, 我长期使用的python IDE。 (http://boa-constructor.sourceforge.net)
WingIDE，我感觉最好的python IDE for python，具有舒适的测试和调试功能。 (http://www.wingware.com)
YieldProlog, 我从中学会了用yield语句实现逻辑引擎中的合一与回溯，深受启发。 (http://yieldprolog.sourceforge.net)
同时感谢其他所有人给我帮助和启发的所有人和事，例如yap(prolog实现), swiprolog, stklos(lisp实现), curry(逻辑函数语言)等。
感谢我的导师鲁汉榕先生。
感谢我的家人和亲人。