GitHub repository: FForzano/pyswip
Description: PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.