Lib.rs

› 算法
#逻辑 #推理 #集合 #prolog-like

epilog

由 Ryan S

1个不稳定版本

0.1.0 2020年3月3日

#2493 在 算法

AGPL-3.0-or-later

33KB
955 行

一组类似于Prolog的推理逻辑工具

无运行时依赖