Search code examples
pythonlogicmachine-learningreasoning

First Order Logic Engine

I'd like to create an application that can do simple reasoning using first order logic. Can anyone recommend an "engine" that can accept an arbitrary number of FOL expressions, and allow querying of those expressions (preferably accessible via Python)?

Solution

  • PyLog:

    PyLog is a first order logic library including a PROLOG engine in Python.