Jason programming language executor