Not really. Screamer gives you "nondeterministic" programming. It can be used for example to solve sudokus: http://nikodemus.github.io/screamer/sudoku.lisp.html