#predicate #programming #language #parse #function #negation #circumscriptive

mycroft

受Datalog启发的编程语言,具有周界否定和函数

1 个不稳定版本

使用旧的Rust 2015

0.0.1 2018年3月14日

#40#predicate


2 个crate中使用 (通过 mycroft-macros-impl)

MIT 协议

99KB
2.5K SLoC

mycroft 是一个内存中的 Datalog + 回调库。

目前,它只能解析谓词。

mycroft 处于开发中,甚至不适合实验性使用。

依赖项

~6MB
~131K SLoC