<b_jonas> learn Burlesque is only the sexiest language on Earth. mroman created it for finance analysis because the traditionally used K and Dyalog APL are unreadable. (See: http://mroman.ch/burlesque )

The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.