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.
Formatea y embellece Java, Python, JavaScript, JSON, HTML y más; ajusta sangría, espacios y saltos de línea.
Recorta, une o divide grabaciones, elimina silencios o ruido y ajusta volumen, velocidad, tono o canales.
Abre y edita hojas CSV o Excel, da formato a texto tabular y convierte CSV a Excel o SQL.
Escribe y previsualiza Markdown, renderiza diagramas Mermaid y convierte entre Markdown, HTML y tablas.
Compara textos, cuenta palabras y términos frecuentes, ordena o reemplaza líneas y consulta texto DOCX.
Consulta significados, sinónimos y antónimos en chino, o busca transcripciones fonéticas en AFI en varios idiomas.
Convierte entre MP3, WAV, FLAC y más formatos, reproduce audio o PCM sin procesar y consulta o edita sus metadatos.
Inspecciona, compara y valida JSON; prueba expresiones JSONPath o convierte datos a CSV, YAML y XML.
Transcribe audio a texto, genera voz a partir de texto o graba tu voz en el navegador.
Convierte y comprime vídeos, recorta o une clips, redimensiona fotogramas y extrae audio.
Reproduce vídeos locales o en streaming, graba pantalla o cámara y usa la cámara como espejo en línea.
Comprime o une PDF, divide y reordena páginas, conviértelas en imágenes y visualiza o compara documentos.
Convierte formatos de imagen, redimensiona o recorta fotos, comprime archivos, compara imágenes y extrae texto con OCR.
Captura y embellece pantallas, convierte texto en imágenes o GIF, dibuja en una pizarra y crea nubes de palabras o favicons.
Edita subtítulos SRT o VTT con vista previa de vídeo, desplaza tiempos, convierte formatos y gestiona pistas de subtítulos.
Abre archivos ZIP, 7Z, RAR o TAR, extrae los contenidos que necesites y crea nuevos archivos; ZIP y 7Z admiten contraseña.
Codifica y decodifica Base64 o Base32, escapa URL, HTML y texto Unicode, e inspecciona el contenido de JWT.
Convierte valores entre binario, decimal y hexadecimal; escribe números en palabras o convierte texto a binario.
Calcula porcentajes y fracciones, resume estadísticas y resuelve notas, descuentos o relaciones de aspecto.
Muestra un reloj en línea, usa una cuenta atrás o un cronómetro y calcula fechas, edades o diferencias horarias.
Comprueba tu IP y conexión IPv6, inspecciona solicitudes HTTP o archivos HAR y calcula rangos de direcciones CIDR.
Convierte unidades de longitud, peso, temperatura, almacenamiento de datos y más.
Convierte valores HEX, RGB y HSL, extrae colores de una imagen, comprueba el contraste o prueba la pantalla con colores sólidos.
Genera y lee códigos QR o de barras, incluidos códigos QR para enlaces y redes Wi-Fi.
Genera hashes, UUID y contraseñas, prueba expresiones regulares, crea slugs de URL y consulta permisos de archivo.
Comprueba resolución y frecuencia de pantalla, mide con una regla, prueba las teclas o lee con un teleprompter.
2048, Buscaminas, Sudoku, Gomoku, Batalla de tanques