hardmath

826
reputation

Dreams recursively in Prolog.