Indice
41 relazioni: Ambiente (programmazione), Answer set programming, Assunzione del mondo aperto, Assunzione del mondo chiuso, Ėlektronika MS 0511, Backtracking, Berkeley RISC, Clausola di Horn, Clojure, Cronologia dei computer dal 1950 al 1979, Cronologia dei computer dal 1980 al 1989, Cronologia dei linguaggi di programmazione, Datalog, ECLiPSe, Erlang (linguaggio di programmazione), GNU Prolog, Google Code Search, Intelligenza artificiale, Linguaggio di programmazione, Linguaggio di programmazione ad alto livello, Linguaggio Wolfram, Lista dei linguaggi di programmazione, Mercury (linguaggio), Negazione come fallimento, Notepad++, Pacchetti GNU, Paradigma di programmazione, Picat, Planner (linguaggio), Programmazione a vincoli, Programmazione di ordine superiore, Programmazione dichiarativa, Programmazione logica, Punto fermo, Retropropagazione dell'errore, Sistema di algebra computazionale, SWI-Prolog, Teoria dei linguaggi di programmazione, Tipizzazione dinamica, Watson (intelligenza artificiale), XSB.
Ambiente (programmazione)
Un ambiente, in informatica e nell'ambito della programmazione, è definito come l'insieme di tutte le associazioni tra identificatori e posizioni di memoria.
Vedere Prolog e Ambiente (programmazione)
Answer set programming
Lanswer set programming (ASP) è una forma di programmazione logica di tipo dichiarativo utilizzato per problemi di ricerca complessi (in primis NP-difficili), basata sulla semantica del modello stabile (o answer set).
Vedere Prolog e Answer set programming
Assunzione del mondo aperto
In un sistema logico formale utilizzato per la rappresentazione della conoscenza, lassunzione del mondo aperto (dall'inglese open-world assumption, o OWA, talvolta tradotta come ipotesi del mondo aperto), è l'assunzione secondo cui il valore di verità di una dichiarazione può essere positivo indipendentemente dal fatto che la dichiarazione sia un fatto conosciuto essere vero.
Vedere Prolog e Assunzione del mondo aperto
Assunzione del mondo chiuso
In un sistema logico formale utilizzato per la rappresentazione della conoscenza, lassunzione del mondo chiuso (dall'inglese closed-world assumption, o CWA, talvolta tradotta come ipotesi del mondo chiuso) è l'assunzione secondo cui ogni affermazione il cui valore di verità non è noto è considerata falsa.
Vedere Prolog e Assunzione del mondo chiuso
Ėlektronika MS 0511
L'Ėlektronika MS 0511 era un microcomputer prodotto in Unione Sovietica da Ėlektronika e compatibile con il PDP-11. Destinato prevalentemente al settore della istruzione, era conosciuto anche come Ėlektronika UK NC, dove UK NC è l'acronimo di učebnyj komp'juter Naučnogo centra, ovvero "Computer educativo del Centro scientifico".
Vedere Prolog e Ėlektronika MS 0511
Backtracking
Il backtracking (in italiano, si può definire "monitoraggio a ritroso") è una tecnica per trovare soluzioni a problemi in cui devono essere soddisfatti dei vincoli.
Vedere Prolog e Backtracking
Berkeley RISC
Berkeley RISC è il nome dato a uno dei due progetti di ricerca sulle architetture RISC finanziato dal progetto VLSI project dell'ARPA. Il progetto venne gestito da David Patterson della Berkeley University tra il 1980 e il 1984.
Vedere Prolog e Berkeley RISC
Clausola di Horn
In logica, e in particolare nel calcolo proposizionale, una clausola di Horn è una disgiunzione di letterali in cui al massimo uno dei letterali è positivo.
Vedere Prolog e Clausola di Horn
Clojure
In informatica Clojure è un dialetto del linguaggio di programmazione Lisp: alcune importanti caratteristiche sono lo sviluppo interattivo, la filosofia secondo cui lo stesso codice è un dato, le macro e la compilazione in Java bytecode, che permette a Clojure di funzionare su una macchina virtuale Java e di accedere facilmente a tutte le librerie Java.
Vedere Prolog e Clojure
Cronologia dei computer dal 1950 al 1979
Questo articolo presenta una cronologia di eventi nella storia dei computer dal 1950 al 1979. Per una narrazione in prosa, si veda la voce Storia del computer.
Vedere Prolog e Cronologia dei computer dal 1950 al 1979
Cronologia dei computer dal 1980 al 1989
Questo articolo presenta una cronologia di eventi nella storia dei computer dal 1980 al 1989. Per una narrazione in prosa, si veda la voce Storia del computer.
Vedere Prolog e Cronologia dei computer dal 1980 al 1989
Cronologia dei linguaggi di programmazione
Questo è un elenco cronologico dei linguaggi di programmazione per ordine di apparizione. Di ognuno viene riportato l'eventuale predecessore, l'anno in cui è apparso, il nome del linguaggio stesso, l'autore (se noto) e, in alcuni casi, l'azienda dove è stato sviluppato.
Vedere Prolog e Cronologia dei linguaggi di programmazione
Datalog
Datalog è un linguaggio di interrogazione per basi di dati che ha riscosso un notevole interesse dalla comunità scientifica dalla metà degli anni ottanta.
Vedere Prolog e Datalog
ECLiPSe
ECLiPSe è un sistema software per lo sviluppo e l'implementazione di applicazioni di Constraint Programming, ad esempio nelle aree di ottimizzazione, pianificazione, trasporto ecc.
Vedere Prolog e ECLiPSe
Erlang (linguaggio di programmazione)
Erlang è un linguaggio di programmazione non orientato a contesti specifici ma in grado di lavorare con la programmazione concorrente; può gestire cioè più processi che interferiscono tra loro in esecuzione e su sistemi runtime, vale a dire senza due processi distinti per la compilazione e l'esecuzione ma con un unico processo di modifica ed esecuzione continua.
Vedere Prolog e Erlang (linguaggio di programmazione)
GNU Prolog
GNU Prolog (chiamato anche gprolog) è un compilatore sviluppato dal progetto GNU con un ambiente interattivo di debugging per il Prolog, disponibile per Unix e Microsoft Windows.
Vedere Prolog e GNU Prolog
Google Code Search
Google Code Search è stato un motore di ricerca per codice sorgente di Google. È comparso su Google Labs il 5 ottobre 2006, ed è stato chiuso ufficialmente il 15 gennaio 2012.
Vedere Prolog e Google Code Search
Intelligenza artificiale
Lintelligenza artificiale (in sigla IA o AI, dall'inglese Artificial Intelligence), nel suo significato più ampio, è la capacità (o il tentativo) di un sistema artificiale (tipicamente un sistema informatico) di simulare l'intelligenza umana attraverso l'ottimizzazione di funzioni matematiche.
Vedere Prolog e Intelligenza artificiale
Linguaggio di programmazione
Un linguaggio di programmazione è un sistema di notazione per la scrittura di programmi per computer. La maggior parte dei linguaggi di programmazione sono linguaggi formali basati su testo, ma possono anche essere grafici.
Vedere Prolog e Linguaggio di programmazione
Linguaggio di programmazione ad alto livello
Un linguaggio di programmazione ad alto livello, in informatica, è un linguaggio di programmazione caratterizzato da una significativa astrazione dai dettagli del funzionamento di un calcolatore e dalle caratteristiche del linguaggio macchina.
Vedere Prolog e Linguaggio di programmazione ad alto livello
Linguaggio Wolfram
Il Linguaggio Wolfram è un linguaggio di programmazione multi-paradigma sviluppato da Wolfram Research, usato in Mathematica e Wolfram Programming Cloud.
Vedere Prolog e Linguaggio Wolfram
Lista dei linguaggi di programmazione
Questa lista dei linguaggi di programmazione ha lo scopo di includere tutti i linguaggi di programmazione esistenti, sia quelli storici sia quelli correntemente in uso, in ordine alfabetico.
Vedere Prolog e Lista dei linguaggi di programmazione
Mercury (linguaggio)
Mercury è un linguaggio di programmazione appartenente al paradigma di programmazione logica, e non funzionale come spesso viene erroneamente considerato.
Vedere Prolog e Mercury (linguaggio)
Negazione come fallimento
La negazione come fallimento (nota anche come NaF, dall'inglese negation as failure, o negation by default) è una regola di inferenza non monotòna utilizzata nella programmazione logica per derivare mathrm~p dal fallimento nel derivare ~p, dove ~p è un atomo che non si può dedurre automaticamente dal programma (poiché non è conseguenza logica dei fatti e delle regole contenute nel programma).
Vedere Prolog e Negazione come fallimento
Notepad++
Notepad++ è un popolare editor di testo e codice sorgente gratuito e open source per il sistema operativo Windows, uscito nel 2003. È stato creato come un miglioramento del Blocco note standard di Windows, offrendo molte funzionalità avanzate utili agli sviluppatori, programmatori e utenti in generale.
Vedere Prolog e Notepad++
Pacchetti GNU
Questa lista elenca, in ordine alfabetico, tutti i pacchetti ufficiali del progetto GNU. Per questioni pratiche, nei nomi come "GNU Health", l'ordine alfabetico si applica sulla seconda parola.
Vedere Prolog e Pacchetti GNU
Paradigma di programmazione
In informatica, un paradigma di programmazione è un insieme di strumenti concettuali per la modellazione di algoritmi, determinanti quindi il modo in cui il programmatore progetta, implementa e interpreta i programmi corrispondenti.
Vedere Prolog e Paradigma di programmazione
Picat
Picat è un linguaggio di programmazione multiparadigma basato sulla logica. Simile al Prolog, è stato sviluppato da Neng-Fa Zhou, professore di informatica del Brooklyn College.
Vedere Prolog e Picat
Planner (linguaggio)
Planner (spesso citato come PLANNER sebbene non sia un acronimo) è un linguaggio di programmazione progettato da Carl Hewitt al MIT, e pubblicato per la prima volta nel 1969.
Vedere Prolog e Planner (linguaggio)
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.
Vedere Prolog e Programmazione a vincoli
Programmazione di ordine superiore
La programmazione di ordine superiore è uno stile di programmazione che usa componenti software, come funzioni, moduli o oggetti come valori.
Vedere Prolog e Programmazione di ordine superiore
Programmazione dichiarativa
In informatica, la programmazione dichiarativa è un paradigma di programmazione secondo cui la logica della computazione viene espressa senza descrivere il suo controllo di flusso.
Vedere Prolog e Programmazione dichiarativa
Programmazione logica
In informatica la programmazione logica è un paradigma di programmazione nato negli anni '70 che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione.
Vedere Prolog e Programmazione logica
Punto fermo
Il punto fermo (.) (o brevemente punto) è il segno di interpunzione che indica nel discorso la pausa più lunga, pari solo a quella del punto interrogativo (?) e del punto esclamativo (!).
Vedere Prolog e Punto fermo
Retropropagazione dell'errore
La retropropagazione dell'errore è un algoritmo per l'addestramento delle reti neurali artificiali, usato in combinazione con un metodo di ottimizzazione come per esempio la discesa stocastica del gradiente.
Vedere Prolog e Retropropagazione dell'errore
Sistema di algebra computazionale
Con il termine sistema di algebra computazionale (o anche con il termine inglese computer algebra system e con il suo acronimo CAS) si intende un sistema software in grado di facilitare l'esecuzione di elaborazioni simboliche.
Vedere Prolog e Sistema di algebra computazionale
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.
Vedere Prolog e SWI-Prolog
Teoria dei linguaggi di programmazione
La teoria dei linguaggi di programmazione è un settore della scienza informatica che si occupa della progettazione, dell'implementazione, dell'analisi, della caratterizzazione e della classificazione dei linguaggi di programmazione e dei loro componenti.
Vedere Prolog e Teoria dei linguaggi di programmazione
Tipizzazione dinamica
In informatica e programmazione, la tipizzazione dinamica è la politica di tipizzazione, ovvero di assegnazione di tipi alle variabili, in cui il controllo del tipo della variabile è effettuato a runtime piuttosto che in fase di compilazione.
Vedere Prolog e Tipizzazione dinamica
Watson (intelligenza artificiale)
Watson è un sistema di intelligenza artificiale, in grado di rispondere a domande espresse in un linguaggio naturale,https://www.research.ibm.com/deepqa/faq.shtml DeepQA IBM Corporation 2011-02-11 sviluppato all'interno del progetto DeepQA di IBM a cura del team di ricerca diretto da David Ferrucci.
Vedere Prolog e Watson (intelligenza artificiale)
XSB
XSB è il nome di un dialetto del linguaggio di programmazione Prolog. La sua implementazione è sviluppata presso la Stony Brook University in collaborazione con la Katholieke Universiteit Leuven, la Nuova Università di Lisbona, l'Università di Uppsala e il fornitore di software XSB.
Vedere Prolog e XSB
Conosciuto come PROgramming in LOGic.