Python Logic Programming, What is Logic Programming, Checking for Prime Numbers, Python Logic Programming Example, Kanren, SumPy,