Logo
Unionpedia
Communicatie
Ontdek het op Google Play
Nieuw! Download Unionpedia op je Android™ toestel!
Gratis
Snellere toegang dan browser!
 

Prolog

Index Prolog

Prolog (uit het Frans "programmation en logique", "programmeren met logica") is een logische programmeertaal.

32 relaties: Aanname van een gesloten wereld, ACT-R, Atari ST, Backtracking, CLIPS, Curry (programmeertaal), Defaultlogica, Erlang (programmeertaal), Hello world (programma), Het antwoord op de ultieme vraag over het Leven, het Universum, en Alles, Horn-clausule, Lijst (informatica), Lijst van programmeertalen, Logisch programmeren, Mergesort, Negatie als falen, Pascal MicroEngine, Patroonvergelijking, Procentteken, Programmeertaal, Prova (programmeertaal), Robert Kowalski, Scala (programmeertaal), SQL, SWI-Prolog, Turingvolledigheid, Van Wijngaardengrammatica, Virtuele machine, Vlaamse Programmeerwedstrijd, Wam, Warren Abstract Machine, WordNet.

Aanname van een gesloten wereld

De aanname van een gesloten wereld (Engels: closed world assumption) is de aanname dat alles waarvan niet expliciet bekend is dat het waar is, onwaar is.

Nieuw!!: Prolog en Aanname van een gesloten wereld · Bekijk meer »

ACT-R

ACT-R is software voor het beschrijven en nabootsen van denkprocessen in het kader van psychologische experimenten.

Nieuw!!: Prolog en ACT-R · Bekijk meer »

Atari ST

Een Atari 1040STF-computer met aparte ''Megafile''-harddisk Een Atari 1040STF-computer De Atari ST is een homecomputer/pc die van 1985 tot begin jaren 90 populair was.

Nieuw!!: Prolog en Atari ST · Bekijk meer »

Backtracking

right Backtracking is een methode die gebruikt wordt bij zoekproblemen in de informatica.

Nieuw!!: Prolog en Backtracking · Bekijk meer »

CLIPS

CLIPS is publicdomainsoftware voor het ontwikkelen van expertsystemen.

Nieuw!!: Prolog en CLIPS · Bekijk meer »

Curry (programmeertaal)

Curry is een functionele en logische programmeertaal die gebaseerd is op de syntaxis van de functionele programmeertaal Haskell.

Nieuw!!: Prolog en Curry (programmeertaal) · Bekijk meer »

Defaultlogica

Defaultlogica is een niet-monotone logica ontwikkeld door Raymond Reiter waarmee men kan redeneren over gangbare aannames, zoals vogels die doorgaans kunnen vliegen.

Nieuw!!: Prolog en Defaultlogica · Bekijk meer »

Erlang (programmeertaal)

Erlang is een concurrente, declaratieve programmeertaal en runtime-systeem dat geschikt is voor alle toepassingen.

Nieuw!!: Prolog en Erlang (programmeertaal) · Bekijk meer »

Hello world (programma)

Perl Een Hello world-programma is een eenvoudig computerprogramma dat niets anders doet dan de tekst "Hello world" op het scherm tonen.

Nieuw!!: Prolog en Hello world (programma) · Bekijk meer »

Het antwoord op de ultieme vraag over het Leven, het Universum, en Alles

Het antwoord op het Leven, het Universum, en Alles Het antwoord op de ultieme vraag over het Leven, het Universum, en Alles (in sommige vertalingen "Het leven, het heelal en de rest") is een concept uit het boek The Hitchhiker's Guide to the Galaxy van Douglas Adams.

Nieuw!!: Prolog en Het antwoord op de ultieme vraag over het Leven, het Universum, en Alles · Bekijk meer »

Horn-clausule

In de logica is een Horn-clausule (Engels: Horn clause) een clausule, een disjunctie van literalen, met ten hoogste 1 positieve literaal.

Nieuw!!: Prolog en Horn-clausule · Bekijk meer »

Lijst (informatica)

In de informatica is een lijst (Engels: list) een lineaire datastructuur.

Nieuw!!: Prolog en Lijst (informatica) · Bekijk meer »

Lijst van programmeertalen

De onderstaande programmeertalen worden of werden frequent gebruikt of genoemd.

Nieuw!!: Prolog en Lijst van programmeertalen · Bekijk meer »

Logisch programmeren

Logisch programmeren is een vorm van programmeren die valt onder het declaratieve paradigma.

Nieuw!!: Prolog en Logisch programmeren · Bekijk meer »

Mergesort

Mergesort Mergesort is een recursief sorteeralgoritme, volgens het verdeel en heers-principe.

Nieuw!!: Prolog en Mergesort · Bekijk meer »

Negatie als falen

Negatie als falen (NAF, Engels: negation as failure) is een interpretatie van de logische negatie waarbij de negatie van een formule waar is dan en slechts dan als niet afgeleid kan worden dat de formule waar is.

Nieuw!!: Prolog en Negatie als falen · Bekijk meer »

Pascal MicroEngine

Pascal MicroEngine is een serie microcomputers die ontworpen zijn om zo efficiënt mogelijk het UCSD p-System te draaien.

Nieuw!!: Prolog en Pascal MicroEngine · Bekijk meer »

Patroonvergelijking

In de informatica wordt onder patroonvergelijking (Engels: pattern matching) het herkennen van een specifiek patroon in data verstaan.

Nieuw!!: Prolog en Patroonvergelijking · Bekijk meer »

Procentteken

Het procentteken (%) is een wiskundig symbool waarmee procenten oftewel percentages worden aangegeven in teksten en formules.

Nieuw!!: Prolog en Procentteken · Bekijk meer »

Programmeertaal

Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.

Nieuw!!: Prolog en Programmeertaal · Bekijk meer »

Prova (programmeertaal)

Prova is een open-source-programmeertaal.

Nieuw!!: Prolog en Prova (programmeertaal) · Bekijk meer »

Robert Kowalski

right Robert Antony Kowalski (15 mei 1941, Bridgeport, Connecticut) is een Brits wiskundige en computerwetenschapper.

Nieuw!!: Prolog en Robert Kowalski · Bekijk meer »

Scala (programmeertaal)

Scala is een object-functionele programmeer- en scripttaal voor algemene toepassingen.

Nieuw!!: Prolog en Scala (programmeertaal) · Bekijk meer »

SQL

SQL (Structured Query Language) is een ANSI/ISO-standaardtaal voor een relationeel databasemanagementsysteem (DBMS).

Nieuw!!: Prolog en SQL · Bekijk meer »

SWI-Prolog

SWI-Prolog is een open source implementatie van de logische programmeertaal Prolog en het is beschikbaar onder de LGPL.

Nieuw!!: Prolog en SWI-Prolog · Bekijk meer »

Turingvolledigheid

In de berekenbaarheidstheorie wordt een programmeertaal, of een ander systeem om bewerkingen mee uit te drukken, turingvolledig (vaker: turingcompleet) genoemd als het de uitdrukkingskracht heeft van een universele turingmachine.

Nieuw!!: Prolog en Turingvolledigheid · Bekijk meer »

Van Wijngaardengrammatica

De Van Wijngaarden-grammatica, ook wel W-grammatica genoemd, is een formalisme voor de definitie van de syntaxis van een formele taal, ontwikkeld en gebruikt door Adriaan van Wijngaarden bij het definiëren van de programmeertaal Algol 68.

Nieuw!!: Prolog en Van Wijngaardengrammatica · Bekijk meer »

Virtuele machine

VirtualBox op Ubuntu, met Fedora als gastbesturingssysteem Een virtuele machine is een computerprogramma dat een computer nabootst, waar andere programma's op kunnen worden uitgevoerd.

Nieuw!!: Prolog en Virtuele machine · Bekijk meer »

Vlaamse Programmeerwedstrijd

De Vlaamse Programmeerwedstrijd is een wedstrijd programmeren, die door vrijwilligers van vier Vlaamse universiteiten, de KU Leuven, UGent, VUB en de UHasselt en vier Vlaamse hogescholen, PHL, HOWEST, Katho en KaHo Sint-Lieven ieder jaar in de lente wordt georganiseerd.

Nieuw!!: Prolog en Vlaamse Programmeerwedstrijd · Bekijk meer »

Wam

;Acroniem.

Nieuw!!: Prolog en Wam · Bekijk meer »

Warren Abstract Machine

Een Warren Abstract Machine ofwel WAM is een virtuele machine gericht op de taal Prolog en bestaat uit een geheugenmodel en een instructieset.

Nieuw!!: Prolog en Warren Abstract Machine · Bekijk meer »

WordNet

WordNet is een semantisch lexicon voor de Engelse taal.

Nieuw!!: Prolog en WordNet · Bekijk meer »

Richt hier:

PROLOG, Programmeertaal Prolog.

UitgaandeInkomende
Hey! We zijn op Facebook nu! »