Comparison to Rosette, Prolog, etc.