Datomic的Scryer Prolog库: https://github.com/jjtolton/scrytomic

1作者: triska大约 12 小时前原帖