lpo (pypi): Finite domain first order logic system
Keywords: logic|programming|prolog