Graph package and graph reasoning language