from pyDatalog import pyDatalog pyDatalog.create_terms('factorial, N') factorial[N] = N*factorial[N-1] factorial[1] = 1 print(factorial[3]==N) # prints N=6 pyDatalog adds the logic programming paradigm to Python's extensive toolbox, in a pythonic way. Logic programmers can now use the extensive standard library of Python, and Python programmers can now express complex algorithms quickly. Datalog i