Предположим, у меня есть следующие правила: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(Y). И затем я запускаю его следующим образом: ?-...

У меня есть текст, который может иметь разные стили новой строки. Я хочу заменить все символы новой строки '\ r \ n', '\ n', '\ r' на одну и ту же новую строку (в данном случае \ r \ n). Как это сделать быстрее всего? Мое текущее решение выглядит...