https://github.com/swannodette/logic-tutorial
学习了下逻辑变成，确实比较有趣
只要事先定义好实体的关系，并且用函数定义好关系的推导方式，就可以很容易的对实体进行查询，
可以用定义的方式描述很复杂的关系
fresh 用来详细描述所搜索的q的信息
or 用conde描述
and 用with-db里定义的relation描述
