|
|
3 回复 | 直到 15 年前
|
1
6
PyLog :
|
|
|
2
9
除非必须这样做,否则不要使用一阶逻辑(fol)进行查询:一阶逻辑不可判定,但只能是半可判定的,因此查询通常不可避免地不会终止。 Description logic 本质上是一阶逻辑的一个可决定部分,以一种有利于讨论实体类及其相互关系的方式重新表述。例如,在Python中有许多用于描述逻辑的引擎 seth ,基于owl-dl。 如果你真的确信你需要大量的叶酸,那么 FLiP 值得一看。我没有使用它(老实说,我不太喜欢Python),但这是一种使编程语言可以使用逻辑检查的好方法。 |
|
|
3
1
配方303057:pythologic——python中的prolog语法/ http://code.activestate.com/recipes/303057/ |
推荐文章
|
|
Wadu Hek · 查找列表中唯一的重复项 3 年前 |
|
|
Johan Klemantan · 带条件的嵌套循环中的lambda 3 年前 |
|
|
Sudhanva c · 如何提高编码技能?[已关闭] 7 年前 |
|
|
Arie Wijaya · 无法将伪代码转换为java[已关闭] 7 年前 |
|
|
Adrian Rotama · 将十进制四舍五入到最接近的十次方的轨道 7 年前 |
|
Sawbonz · 为什么If语句不适用于Python和Pygame 7 年前 |
|
|
Kevin · 根据第一个组合框中插入的数字生成组合框 7 年前 |