Langage de programmation fondé sur le calcul des prédicats du premier ordre.
C’est donc cette version extrêmement simplifiée de SL-Resolution (que nous venons de décrire formellement) qui fut adoptée et qui continue d’être la base de tous les Prologs.
Форматируйте и улучшайте оформление Java, Python, JavaScript, JSON, HTML и других языков; выравнивайте отступы, пробелы и переносы строк.
Обрезайте, объединяйте и разделяйте записи, удаляйте тишину и шум, меняйте громкость, скорость, тон или каналы.
Открывайте и редактируйте таблицы CSV или Excel, форматируйте табличный текст и преобразуйте CSV в Excel или SQL.
Пишите и просматривайте Markdown, отображайте схемы Mermaid и преобразуйте Markdown, HTML и таблицы.
Сравнивайте тексты, подсчитывайте слова и частые термины, сортируйте или заменяйте строки, просматривайте текст DOCX.
Находите значения, синонимы и антонимы китайских слов или транскрипции МФА для разных языков.
Конвертируйте MP3, WAV, FLAC и другие форматы, воспроизводите аудио или необработанный PCM, просматривайте и меняйте метаданные.
Просматривайте, сравнивайте и проверяйте JSON, тестируйте JSONPath или преобразуйте данные в CSV, YAML и XML.
Преобразуйте аудио в текст, создавайте речь из текста или записывайте свой голос в браузере.
Конвертируйте и сжимайте видео, обрезайте или соединяйте клипы, меняйте размер кадров и извлекайте аудио.
Воспроизводите локальные или потоковые видео, записывайте экран или камеру и используйте камеру как онлайн-зеркало.
Сжимайте и объединяйте PDF, разделяйте и переставляйте страницы, сохраняйте их как изображения, просматривайте и сравнивайте документы.
Преобразуйте форматы изображений, изменяйте размер или кадрируйте фото, сжимайте, сравнивайте и распознавайте текст с OCR.
Делайте и оформляйте снимки экрана, превращайте текст в картинки или GIF, рисуйте на доске, создавайте облака слов и фавиконки.
Редактируйте субтитры SRT или VTT с предпросмотром видео, сдвигайте время, меняйте формат и управляйте дорожками субтитров.
Открывайте ZIP, 7Z, RAR и TAR, извлекайте нужные файлы и создавайте архивы; ZIP и 7Z можно защитить паролем.
Кодируйте и декодируйте Base64 или Base32, экранируйте URL, HTML и Unicode, просматривайте содержимое JWT.
Переводите значения между двоичной, десятичной и шестнадцатеричной системами, записывайте числа словами или текст в двоичном виде.
Рассчитывайте проценты и дроби, сводите статистику и определяйте оценки, скидки или соотношение сторон.
Отображайте онлайн-часы, запускайте таймер или секундомер и рассчитывайте даты, возраст и разницу часовых поясов.
Проверяйте IP и подключение IPv6, изучайте HTTP-запросы или HAR-файлы и рассчитывайте диапазоны адресов CIDR.
Преобразуйте единицы длины, веса, температуры, объёма данных и другие величины.
Преобразуйте значения HEX, RGB и HSL, извлекайте цвета из изображений, проверяйте контрастность или тестируйте экран заливками.
Создавайте и считывайте QR-коды и штрихкоды, включая QR-коды для ссылок и сетей Wi-Fi.
Создавайте хеши, UUID и пароли, проверяйте регулярные выражения, формируйте URL-ярлыки и права доступа к файлам.
Проверяйте разрешение и частоту экрана, измеряйте экранной линейкой, тестируйте клавиши или читайте с телесуфлёра.
2048, Сапёр, Судоку, Гомоку, Танковый бой