Thoughts 结构：产生式是containing关系，是树结构；函数是computation graph 不同类型的graph支持不同的操作，但是有一些基本操作是全部都要支持的，比如查询一个node的adjacent node 图，排序，关系，有序性，方向 简单仅仅是复杂的一种简化，比如：chain《-tree《-graph；binary-search其实是一种deep-first-search