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.
Formatta e abbellisci Java, Python, JavaScript, JSON, HTML e altro; uniforma rientri, spazi e interruzioni di riga.
Taglia, unisci o dividi registrazioni, elimina silenzi e rumore e regola volume, velocità, tono o canali.
Apri e modifica fogli CSV o Excel, formatta testo tabellare e converti CSV in Excel o SQL.
Scrivi e visualizza Markdown, mostra diagrammi Mermaid e converti tra Markdown, HTML e tabelle.
Confronta testi, conta parole e termini frequenti, ordina o sostituisci righe e visualizza testo DOCX.
Consulta significati, sinonimi e contrari delle parole cinesi o trova trascrizioni IPA in più lingue.
Converti tra MP3, WAV, FLAC e altri formati, riproduci audio o PCM grezzo e consulta o modifica i metadati.
Esamina, confronta e convalida JSON; prova espressioni JSONPath o converti dati in CSV, YAML e XML.
Trascrivi audio in testo, genera voce dal testo o registra la tua voce nel browser.
Converti e comprimi video, taglia o unisci clip, ridimensiona fotogrammi ed estrai audio.
Riproduci video locali o in streaming, registra schermo o fotocamera e usa la fotocamera come specchio online.
Comprimi o unisci PDF, dividi e riordina pagine, trasformale in immagini e visualizza o confronta documenti.
Converti formati immagine, ridimensiona o ritaglia foto, comprimi file, confronta immagini ed estrai testo con OCR.
Cattura e abbellisci schermate, crea immagini o GIF dal testo, disegna su una lavagna e genera nuvole di parole o favicon.
Modifica sottotitoli SRT o VTT con anteprima video, sposta i tempi, converti formati e gestisci tracce sottotitoli.
Apri archivi ZIP, 7Z, RAR o TAR, estrai i file desiderati e crea nuovi archivi; ZIP e 7Z possono essere protetti da password.
Codifica e decodifica Base64 o Base32, applica l’escape a URL, HTML e Unicode e consulta il contenuto dei JWT.
Converti valori tra binario, decimale ed esadecimale; scrivi numeri in lettere o trasforma testo in binario.
Calcola percentuali e frazioni, riassumi statistiche e determina voti, sconti o proporzioni dell’immagine.
Mostra un orologio online, avvia conto alla rovescia o cronometro e calcola date, età o differenze di fuso orario.
Verifica IP e connessione IPv6, esamina richieste HTTP o file HAR e calcola intervalli di indirizzi CIDR.
Converti unità di lunghezza, peso, temperatura, spazio dati e altro.
Converti valori HEX, RGB e HSL, estrai colori da un’immagine, verifica il contrasto o prova lo schermo con colori uniformi.
Genera e leggi codici QR o a barre, inclusi codici QR per link e reti Wi-Fi.
Genera hash, UUID e password, prova espressioni regolari, crea slug URL e verifica permessi dei file.
Verifica risoluzione e frequenza dello schermo, misura con un righello, prova i tasti o leggi con un teleprompter.
2048, Campo minato, Sudoku, Gomoku, Battaglia di carri armati