pyDatalog adds the logic programming paradigm to Python, enabling logic queries on databases and...