logic calculi embedded in Racket