Snabbare tillgång än webbläsare!
14 relationer: Artificiell intelligens, C (programspråk), Clojure, Dator, Ivan Bratko, Kö (datastruktur), Klausul, Logik, Logikprogrammering, Programspråk, Stack (datastruktur), Swedish Institute of Computer Science, Variabel, Villkorsprogrammering.
Artificiell intelligens
Chatboten ELIZA från 1966 fick människor att konversera som med en psykoterapeut (här i en implementation från 2005). Artificiell intelligens (AI) eller maskinintelligens är förmågan hos datorprogram och robotar att efterlikna människors och andra djurs naturliga intelligens, främst kognitiva funktioner såsom förmåga att lära sig saker av tidigare erfarenheter, förstå naturligt språk, lösa problem, planera en sekvens av handlingar och att generalisera.
Ny!!: Prolog (programspråk) och Artificiell intelligens · Se mer »
C (programspråk)
C är ett generellt, imperativt programspråk.
Ny!!: Prolog (programspråk) och C (programspråk) · Se mer »
Clojure
Clojure är en dialekt inom Lisp-familjen av programmeringsspråk.
Ny!!: Prolog (programspråk) och Clojure · Se mer »
Dator
Superdatorn Columbia hos NASA. Illustration av en modern persondator. En dator (tidigare datamaskin eller matematikmaskin) är en maskin som kan bearbeta data och utföra beräkningar automatiskt, effektivare än vad som kan göras manuellt.
Ny!!: Prolog (programspråk) och Dator · Se mer »
Ivan Bratko
Ivan Bratko, född 10 juni 1946 i Ljubljana, Slovenien.
Ny!!: Prolog (programspråk) och Ivan Bratko · Se mer »
Kö (datastruktur)
I datavetenskapen är en kö en linjär datastruktur för lagring av data.
Ny!!: Prolog (programspråk) och Kö (datastruktur) · Se mer »
Klausul
Klausul (latin clau'sula), egentligen "avslutningsdel, slutformel", en tilläggsparagraf som tillfogats en rättshandling (till exempel ett kontrakt), som närmare bestämmer, förklarar eller inskränker något av dess innehåll.
Ny!!: Prolog (programspråk) och Klausul · Se mer »
Logik
Logik är i bred bemärkelse läran om vad som gör ett resonemang eller en argumentation giltig.
Ny!!: Prolog (programspråk) och Logik · Se mer »
Logikprogrammering
Logikprogrammering är ett programmeringsparadigm baserat på att bevis av predikatlogiska satser på vissa former kan automatiseras, vilket upptäcktes av Alan Robinson på 1960-talet.
Ny!!: Prolog (programspråk) och Logikprogrammering · Se mer »
Programspråk
Java. Programmet skriver ut meddelandet "Hello World!". Programspråk, eller programmeringsspråk, är ett formellt språk som en människa använder för att skapa datorprogram.
Ny!!: Prolog (programspråk) och Programspråk · Se mer »
Stack (datastruktur)
En schematisk bild som visar först flera omgångar av påläggning, sedan dito för avlyftning. Stack är en linjär ordnad följd av element, som följer "sist in, först ut"-principen.
Ny!!: Prolog (programspråk) och Stack (datastruktur) · Se mer »
Swedish Institute of Computer Science
Rise SICS AB (av bolaget själv skrivet RISE SICS AB, tidigare SICS AB och Swedish Institute of Computer Science AB) är ett svenskt forskningsinstitut inom datavetenskap som drivs utan vinstintresse.
Ny!!: Prolog (programspråk) och Swedish Institute of Computer Science · Se mer »
Variabel
En variabel är något som kan ändras.
Ny!!: Prolog (programspråk) och Variabel · Se mer »
Villkorsprogrammering
Villkorsprogrammering, på engelska constraint programming, är ett paradigm för att lösa kombinatoriska problem i vilket ett antal variabler med givna domäner skall tilldelas värden i enlighet med ett antal villkor.
Ny!!: Prolog (programspråk) och Villkorsprogrammering · Se mer »
