https://github.com/swannodette/logic-tutorial

学习了下逻辑变成,确实比较有趣

只要事先定义好实体的关系,并且用函数定义好关系的推导方式,就可以很容易的对实体进行查询,

可以用定义的方式描述很复杂的关系

 

fresh 用来详细描述所搜索的q的信息

or 用conde描述

and 用with-db里定义的relation描述

转载于:https://www.cnblogs.com/TLightSky/p/4526333.html

Logo

开放原子开发者工作坊旨在鼓励更多人参与开源活动,与志同道合的开发者们相互交流开发经验、分享开发心得、获取前沿技术趋势。工作坊有多种形式的开发者活动,如meetup、训练营等,主打技术交流,干货满满,真诚地邀请各位开发者共同参与!

更多推荐