Pythological

Adding more symbolic computation and logic programming to Python