https://remp3indir.net/python-relationallogic-programming-in-python/