pyDatalog Search this site Home Application and Testimonials 1 - Datalog tutorial 2 - Object-oriented Datalog 3 - Datalog and data integration 4 - Advanced topics Installation Reference Roadmap and changelog Support & Community pyDatalog is used in production by AirSage . The latest release is 0.14.6 19 Aug 2014 Python Blog pip-Win PYPL PopularitY of Programming Language index Datalog logic programming in python Logic programming in Python 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 No if's, no loops, just the plain mathematical definition ! Easy to learn Based on programmer-friendly Python Be productive Write short, declarative programs Batteries included With full access to t...