扩展Dao和Dinpy
***************

**暂无没有详细内容和实例介绍**

Dao内核介绍
---------------

* 后续传递型程序(CPS,  continuation passing style)

  利用后续实现lisp

  利用双后续实现prolog

  * 跳床技术
 
    * 跳床技术在dao中的运用和改进

* yield 语句与python产生器

  * Yield Prolog采用的技术

    * yield prolog技术在dao中的运用和改进

为dao增加内置函数
-----------------

builtin.function

@builtin.function
def function_name(arg...):
   ...

为dao增加内置谓词
-----------------

builtin.predicate::

  @builtin.function
  def function_name(solver, cont, arg...):
     ...

为dao增加内置宏定义
------------------

builtin.macro

  @builtin.macro
  def macro_name(solver, cont, arg...):
     ...

为dao增加内置匹配器
------------------

builtin.matcher
  @builtin.matcher
  def macro_name(solver, cont, arg...):
     ...

为dao增加特殊式
----------------

SpecialForm

增加或修改Dinpy的语法