expert-systems
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.