 It was used at MIT for several decades, and has been translated into several languages.Sussman's contributions to artificial intelligence include problem solving by debugging almost-right plans, propagation of constraints applied to electrical circuit analysis and synthesis, dependency-based explanation and dependency-based backtracking, and various language structures for expressing problem-solving strategies.Sussman and his former student, Guy L. Steele Jr., invented the programming language Scheme in 1975.