A lisp-like language for describing and evaluating logical circuits