Forward Chaining In Python