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

1作者: triska3 个月前原帖