yuce

PySwip 是一个 Python-Prolog 接口，允许在 Python 程序中查询 SWI-Prolog。