Logica逻辑编辑语言认领

Logica，一种新的开源逻辑编程语言。 Logica 是 Yedalog（Google 早期开发的一种语言）的继承者，是一种类似于 Datalog