逻辑编程
https://github.com/swannodette/logic-tutorial
學(xué)習(xí)了下邏輯變成,確實(shí)比較有趣
只要事先定義好實(shí)體的關(guān)系,并且用函數(shù)定義好關(guān)系的推導(dǎo)方式,就可以很容易的對實(shí)體進(jìn)行查詢,
可以用定義的方式描述很復(fù)雜的關(guān)系
?
fresh 用來詳細(xì)描述所搜索的q的信息
or 用conde描述
and 用with-db里定義的relation描述
轉(zhuǎn)載于:https://www.cnblogs.com/TLightSky/p/4526333.html
總結(jié)
- 上一篇: c++,当const char*为0时,
- 下一篇: 汇编语言第二课作业2.1