nl2prolog
