simple-prolog Usage: python3 main.py test_sum prime(s(s(zero)) => prime prime(s(s(s(s(zero)))) => not prime