neurolang (pypi): "NeuroLang: Probabilistic Logic Programming for NeuroScience Research"
Keywords: logic|programming|probabilistic|open|world|ontology|neuroscience|neuroimaging|datalog