The concept of nondeterminism can be used to write many programs in a succinct and intuitive manner. This paper presents a nondeterministic programming language extension. We have implemented a compiler for the same. We have used the language for writing programs to solve classical computation problems like the n-queens problem.