Graph-theoretic programming language