14 relazioni: Bytecode, Codice sorgente, Compilatore, Debugger, Insieme finito, Microsoft Windows, Parsing, Progetto GNU, Programmazione a vincoli, Prolog, Stand-alone (informatica), SWI-Prolog, Unix, 2009.
Bytecode
In informatica, il bytecode è un linguaggio intermedio più astratto tra il linguaggio macchina e il linguaggio di programmazione, usato per descrivere le operazioni che costituiscono un programma.
Nuovo!!: GNU Prolog e Bytecode · Mostra di più »
Codice sorgente
Il codice sorgente (spesso detto semplicemente sorgente o codice o listato), in informatica, è il testo di un algoritmo di un programma scritto in un linguaggio di programmazione da parte di un programmatore in fase di programmazione, compreso all'interno di un file sorgente.
Nuovo!!: GNU Prolog e Codice sorgente · Mostra di più »
Compilatore
Un compilatore è un programma informatico che traduce una serie di istruzioni scritte in un determinato linguaggio di programmazione (codice sorgente) in istruzioni di un altro linguaggio (codice oggetto).
Nuovo!!: GNU Prolog e Compilatore · Mostra di più »
Debugger
Un debugger in informatica è un programma/software specificatamente progettato per l'analisi e l'eliminazione dei bug (debugging), ovvero errori di programmazione interni al codice di altri programmi.
Nuovo!!: GNU Prolog e Debugger · Mostra di più »
Insieme finito
In matematica, un insieme A è detto finito se esiste una biiezione (ovverosia una funzione sia iniettiva che suriettiva) tra un insieme della forma \left\ ed A, dove n è un numero naturale.
Nuovo!!: GNU Prolog e Insieme finito · Mostra di più »
Microsoft Windows
Microsoft Windows (abbreviazioni comunemente utilizzate: "Windows" o "Win") è una famiglia di ambienti operativi e sistemi operativi prodotta da Microsoft Corporation dal 1985.
Nuovo!!: GNU Prolog e Microsoft Windows · Mostra di più »
Parsing
In informatica, il parsing, analisi sintattica o parsificazione è un processo che analizza un flusso continuo di dati in ingresso (input, letti per esempio da un file o una tastiera) in modo da determinare la sua struttura grazie ad una data grammatica formale.
Nuovo!!: GNU Prolog e Parsing · Mostra di più »
Progetto GNU
Il progetto GNU è un progetto collaborativo lanciato il 27 settembre 1983 da Richard Stallman per creare GNU: un sistema operativo Unix-like completo, utilizzabile esclusivamente utilizzando software libero.
Nuovo!!: GNU Prolog e Progetto GNU · Mostra di più »
Programmazione a vincoli
In informatica la programmazione a vincoli, detta anche programmazione con vincoli o constraint è un paradigma di programmazione dove le relazioni fra variabili possono essere dichiarate in forma di vincoli.
Nuovo!!: GNU Prolog e Programmazione a vincoli · Mostra di più »
Prolog
Il Prolog (contrazione del francese PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica.
Nuovo!!: GNU Prolog e Prolog · Mostra di più »
Stand-alone (informatica)
In informatica, l'espressione stand-alone indica che un oggetto o un software è capace di funzionare da solo o in maniera indipendente da altri oggetti o software, con cui potrebbe altrimenti interagire.
Nuovo!!: GNU Prolog e Stand-alone (informatica) · Mostra di più »
SWI-Prolog
SWI-Prolog è un'implementazione open source del linguaggio di programmazione Prolog, comunemente usato per applicazioni in ambito di intelligenza artificiale e web semantico.
Nuovo!!: GNU Prolog e SWI-Prolog · Mostra di più »
Unix
Unix (registrato ufficialmente come UNIX) è un sistema operativo portabile per computer inizialmente sviluppato da un gruppo di ricerca dei laboratori AT&T e Bell Laboratories, nel quale figurarono sulle prime anche Ken Thompson e Dennis Ritchie.
Nuovo!!: GNU Prolog e Unix · Mostra di più »
2009
Nessuna descrizione.
Nuovo!!: GNU Prolog e 2009 · Mostra di più »