The Galois Programming Language