Lib.rs
› 关键字
#
一阶逻辑
#
Prolog
#
逻辑编程
#
图
#
谓词
#
语法
一阶逻辑
关键字
搜索
logru
一个小型、可嵌入且快速的Prolog子集解释器
v
0.2.0
#
prolog
#
logic-programming
#
first-order-logic
#
first-order
first_order_logic
一阶逻辑
v
0.1.0
#
first-order
#
logical
#
forms
#
logic
#
predicate
#
graph
#
syntax