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

學習了下邏輯變成，確實比較有趣

只要事先定義好實體的關系，并且用函數定義好關系的推導方式，就可以很容易的對實體進行查詢，

可以用定義的方式描述很復雜的關系

?

fresh 用來詳細描述所搜索的q的信息

or 用conde描述

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

轉載于:https://www.cnblogs.com/TLightSky/p/4526333.html

總結

以上是生活随笔為你收集整理的逻辑编程的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。