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

Prolog

Index Prolog

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

67 relaties: Academie, Algol (programmeertaal), Association française de normalisation, Backtracking, BNF (metataal), Boedapest, Boeing, Borland (softwarebedrijf), Broncode, C (programmeertaal), Computersimulatie, Datamining, De facto, Declaratieve taal, Digital Equipment Corporation, Douglas Adams, Erlang (programmeertaal), Exception handling, Expertsysteem, Fortran, Frankrijk, Functioneel programmeren, GNU, Horn-clausule, I/O, IBM, Imperatief programmeren, Instructieset, Internationaal ruimtestation (ISS), Internationale Organisatie voor Standaardisatie, Interpreter, Kunstmatige intelligentie, Logica, Logisch programmeren, Logische conjunctie, Logische disjunctie, Machinetaal, Meten, Model (wetenschap), Multiplatform, Natuurkunde, Oz (programmeertaal), Pascal (programmeertaal), Predicatenlogica, Processor (computer), Programmeertaal, Recursie, Rijksuniversiteit Groningen, Robert Kowalski, Semantiek, ..., Software, Softwareportabiliteit, Staartrecursie, Stelling (wiskunde), SWI-Prolog, Syntaxis (informatica), Theorie van alles, Uitroepteken, Underscore, Universiteit van Edinburgh, Verenigd Koninkrijk, Verenigde Staten, Virtuele machine, Warren Abstract Machine, Watson (supercomputer), Wiskundige logica, Zweden. Uitbreiden index (17 meer) »

Academie

Rafaël, Vaticaans museum Een academie is, in de ruimste zin, een instelling voor onderwijs, doorgaans een universiteit, soms een hogeschool, 'ter beoefening van wetenschappen, letteren of kunst', of een andere instelling die betrokken is bij de uitoefening van of het toezicht op wetenschappen en kunsten.

Nieuw!!: Prolog en Academie · Bekijk meer »

Algol (programmeertaal)

Algol is een zeer invloedrijke reeks programmeertalen, ontworpen tussen 1958 en 1973.

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

Association française de normalisation

De Association française de Normalisation (AFNOR, en: French Standardization Association) is het Franse instituut voor normering, vergelijkbaar met de Nederlandse NEN en als zodanig de Franse vertegenwoordiging bij de ISO.

Nieuw!!: Prolog en Association française de normalisation · Bekijk meer »

Backtracking

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

Nieuw!!: Prolog en Backtracking · Bekijk meer »

BNF (metataal)

BNF (Backus-Naur form) is een notatie voor contextvrije grammatica's, een metataal om de structuur van talen te beschrijven met productieregels.

Nieuw!!: Prolog en BNF (metataal) · Bekijk meer »

Boedapest

Boedapest (Hongaars: Budapest) is de hoofdstad van Hongarije.

Nieuw!!: Prolog en Boedapest · Bekijk meer »

Boeing

The Boeing Company, veelal afgekort tot Boeing, is een Amerikaans lucht- en ruimtevaartbedrijf, opgericht door William Edward Boeing.

Nieuw!!: Prolog en Boeing · Bekijk meer »

Borland (softwarebedrijf)

Logo Borland (Borland International Corporation) was een softwarebedrijf in Scotts Valley, Californië, vooral bekend geworden door Turbo Pascal (nu Delphi en Kylix).

Nieuw!!: Prolog en Borland (softwarebedrijf) · Bekijk meer »

Broncode

commentaar in rood en groen, de uitvoerbare code is blauw weergegeven. De broncode (ook wel brontekst of in het Engels source of source code) van een computerprogramma is de leesbare tekst die door de programmeur in een programmeertaal is geschreven.

Nieuw!!: Prolog en Broncode · Bekijk meer »

C (programmeertaal)

De programmeertaal C is een imperatieve programmeertaal, gebaseerd op de programmeertaal B, die zelf weer op BCPL was gebaseerd.

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

Computersimulatie

Gelijktijdige computationele testen van twee model bouwhttp://www.seismicevaluation.org Earthquake Performance Evaluation Tool Online tsunami Een computersimulatie is een simulatie waarbij men een deel van de werkelijkheid nabootst met een model in een computerprogramma.

Nieuw!!: Prolog en Computersimulatie · Bekijk meer »

Datamining

Datamining (gegevensdelving, datadelving) is het gericht zoeken naar (statistische) verbanden tussen verschillende gegevensverzamelingen met als doel profielen op te stellen voor wetenschappelijk, journalistiek of commercieel gebruik.

Nieuw!!: Prolog en Datamining · Bekijk meer »

De facto

De facto is Latijn voor "in feite" of "in de praktijk".

Nieuw!!: Prolog en De facto · Bekijk meer »

Declaratieve taal

In de informatica worden computertalen ingedeeld in declaratieve talen en imperatieve talen.

Nieuw!!: Prolog en Declaratieve taal · Bekijk meer »

Digital Equipment Corporation

Digital Equipment Corporation of kortweg DEC en later Digital was een van de pioniersbedrijven in de Amerikaanse computerindustrie.

Nieuw!!: Prolog en Digital Equipment Corporation · Bekijk meer »

Douglas Adams

Douglas Noël Adams (Cambridge (Engeland), 11 maart 1952 – Santa Barbara (Californië), 11 mei 2001) was een Engels schrijver van sciencefictionboeken.

Nieuw!!: Prolog en Douglas Adams · 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 »

Exception handling

Exception handling is een constructie of een mechanisme die een programmeertaal biedt om op een abnormale of uitzonderlijke gebeurtenis (excepties) te kunnen reageren en af te handelen tijdens het uitvoeren (run time) van software.

Nieuw!!: Prolog en Exception handling · Bekijk meer »

Expertsysteem

Een kennisgebaseerd systeem, ook wel expertsysteem genoemd, is een computersysteem dat specifieke kennis van menselijke experts representeert en gebruikt om een probleem binnen een bepaald gebied op te lossen.

Nieuw!!: Prolog en Expertsysteem · Bekijk meer »

Fortran

Fortran is een programmeertaal die speciaal ontwikkeld is voor rekenwerk en vooral gebruikt wordt in de exacte wetenschappen.

Nieuw!!: Prolog en Fortran · Bekijk meer »

Frankrijk

Frankrijk, officieel de Franse Republiek (Frans: République française), is een land in West-Europa en qua oppervlakte het op twee na grootste Europese land.

Nieuw!!: Prolog en Frankrijk · Bekijk meer »

Functioneel programmeren

In de informatica is functioneel programmeren een programmeerstijl en een programmeerparadigma.

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

GNU

logo GNU (GNU's Not Unix) is een in 1984 door Richard Stallman gelanceerd project met als doel een volledig vrij besturingssysteem voor computers te maken.

Nieuw!!: Prolog en GNU · 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 »

I/O

I/O staat in de computertechniek voor input/output.

Nieuw!!: Prolog en I/O · Bekijk meer »

IBM

International Business Machines Corporation (IBM, bijgenaamd Big Blue) is een bedrijf dat bij het grote publiek vooral bekend is vanwege de eerste IBM Personal Computer.

Nieuw!!: Prolog en IBM · Bekijk meer »

Imperatief programmeren

Imperatief programmeren (ook wel procedureel programmeren genoemd) is een programmeerconcept uit de informatica waarbij programma's opgesteld worden in de vorm van opdrachten die direct uitgevoerd kunnen worden.

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

Instructieset

Een instructieset is de verzameling van alle mogelijke machinecodes die een processor kan verwerken.

Nieuw!!: Prolog en Instructieset · Bekijk meer »

Internationaal ruimtestation (ISS)

Het ISS na voltooiing Het internationaal ruimtestation (afgekort ISS naar de Engelse naam International Space Station) is een ruimtestation dat in een baan om de Aarde draait en door verschillende landen wordt gebouwd, bemand en bekostigd.

Nieuw!!: Prolog en Internationaal ruimtestation (ISS) · Bekijk meer »

Internationale Organisatie voor Standaardisatie

De Internationale Organisatie voor Standaardisatie (ISO) is een internationale organisatie die normen vaststelt.

Nieuw!!: Prolog en Internationale Organisatie voor Standaardisatie · Bekijk meer »

Interpreter

Een interpreter is een computerprogramma dat steeds een statement van de broncode van een computerprogramma vertaalt naar een voor de processor begrijpelijke vorm, en het dan meteen uitvoert.

Nieuw!!: Prolog en Interpreter · Bekijk meer »

Kunstmatige intelligentie

Kasparov. Kunstmatige intelligentie (KI) of artificiële intelligentie (AI) is de wetenschap die zich bezighoudt met het creëren van een artefact dat een vorm van intelligentie vertoont.

Nieuw!!: Prolog en Kunstmatige intelligentie · Bekijk meer »

Logica

Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.

Nieuw!!: Prolog en Logica · Bekijk meer »

Logisch programmeren

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

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

Logische conjunctie

Venndiagram van de conjunctie - rood is waar In de wiskunde en de logica is logische conjunctie (symbool: \land, &, &&, EN of AND) een logische operator die twee proposities met elkaar verbindt, zodanig dat de conjunctie van beide waar is als beide operanden waar zijn.

Nieuw!!: Prolog en Logische conjunctie · Bekijk meer »

Logische disjunctie

Venndiagram van \scriptstyle A \lor B In de logica en de wiskunde is de logische disjunctie (symbool: \scriptstyle\lor, OF of OR) een logische operator, waarvan de betekenis min of meer overeenkomt met het Nederlandse woord "of".

Nieuw!!: Prolog en Logische disjunctie · Bekijk meer »

Machinetaal

ASCII-representatie van de bytes. Het laatste maakt het makkelijk stukken leesbare tekst in het computerprogramma te herkennen. Machinetaal is een taal waarin instructies geschreven zijn die de processor van een computer direct kan uitvoeren.

Nieuw!!: Prolog en Machinetaal · Bekijk meer »

Meten

Diverse meters Meten is het uitdrukken van een waargenomen grootheid in een getal met een relevante eenheid die vergeleken kan worden met andere waardes van eenzelfde grootheid.

Nieuw!!: Prolog en Meten · Bekijk meer »

Model (wetenschap)

Een model is een schematische weergave van de werkelijkheid.

Nieuw!!: Prolog en Model (wetenschap) · Bekijk meer »

Multiplatform

Een toepassing op een computer of een aan een computer aangesloten apparaat, zoals een programmeertaal, software of hardware, heet multiplatform of cross-platform wanneer het op meer dan één systeemplatform werkt, bijvoorbeeld met Linux, Mac en Windows.

Nieuw!!: Prolog en Multiplatform · Bekijk meer »

Natuurkunde

regenboog (de tweede boog is vaag zichtbaar buiten de eerste). Overtallige regenbogen zijn binnen de eerste boog te zien. De schaduw van de camera is het middelpunt van de cirkelboog. Opname in Wrangell–St. Elias National Park and Preserve, Alaska. atmosfeer. Wet van Wien. Pahoehoe-type lava, ten zuiden van Pu‘u Kahaualea, Hawaï, United States Geological Survey, 1983. aarde gedurende de belichtingstijd van 3 minuten. F-18 Hornet met transsonische snelheid (rond de geluidssnelheid). De kegelvormige wolk ontstaat door condensatie van waterdruppeltjes in de zone van lagere druk en temperatuur achter de vleugel. Ook bovenachter de cockpit is condensatie zichtbaar. De frequentie en de golflengte van een bewegende geluids- of lichtbron verandert voor de waarnemer door het dopplereffect. Links verdichten de golven zich, maar rechts is hun tussenruimte vergroot. Gemaal bij Kinderdijk past schroef van Archimedes toe om water op te pompen. protonen in de CMS-detector van de Large Hadron Collider van CERN, waarin het langverwachte higgsboson optreedt en uit elkaar valt. Zonnepanelen op het dak van een woning. Bioscoopjournaal uit 1971 over een open dag in natuurkundige laboratoria in Nederland. Natuurkunde of fysica is de tak van wetenschap die algemene eigenschappen van materie en straling onderzoekt en beschrijft, zoals kracht, evenwicht en beweging, fasen en faseovergangen, straling, warmte, licht, geluid, magnetisme en elektriciteit, voor zover hierbij geen scheikundige veranderingen optreden.

Nieuw!!: Prolog en Natuurkunde · Bekijk meer »

Oz (programmeertaal)

Oz is een "multi-paradigma"-programmeertaal.

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

Pascal (programmeertaal)

Pascal is een programmeertaal die in 1970 ontwikkeld werd door Niklaus Wirth en die is genoemd naar de Franse wiskundige Blaise Pascal.

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

Predicatenlogica

Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.

Nieuw!!: Prolog en Predicatenlogica · Bekijk meer »

Processor (computer)

DEC Alpha AXP 21064-microprocessor Een processor, ook wel bekend als CPU (Engels: central processing unit) of in het Nederlands centrale verwerkingseenheid (cve) genoemd, is een stuk hardware in een computer dat instaat voor basisbewerkingen en -controle bij het uitvoeren van programmacode.

Nieuw!!: Prolog en Processor (computer) · 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 »

Recursie

Recursie (Latijn: recurrere, 'teruglopen') is het optreden van een opeenvolging van constructies waarvan elk afzonderlijk gebaseerd is op een of meer soortgelijke voorgaande constructies.

Nieuw!!: Prolog en Recursie · Bekijk meer »

Rijksuniversiteit Groningen

De Rijksuniversiteit Groningen (RUG) is de universiteit in de Nederlandse stad Groningen.

Nieuw!!: Prolog en Rijksuniversiteit Groningen · 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 »

Semantiek

De semantiek of betekenisleer is een wetenschap die zich bezighoudt met de betekenis van symbolen, waarbij het in het bijzonder de bouwstenen van natuurlijke talen die voor de communicatie dienen ofwel woorden en zinnen betreft.

Nieuw!!: Prolog en Semantiek · Bekijk meer »

Software

OpenOffice.org Writer Software of programmatuur is een geheel van computerprogramma's met bijbehorende data, die bewerkingen en taken uitvoeren.

Nieuw!!: Prolog en Software · Bekijk meer »

Softwareportabiliteit

Softwareportabiliteit heeft betrekking op de herbruikbaarheid van software bij het veranderen van omgeving.

Nieuw!!: Prolog en Softwareportabiliteit · Bekijk meer »

Staartrecursie

Een staartrecursie (Engels: tail recursion) is een programmeerconcept in de informatica.

Nieuw!!: Prolog en Staartrecursie · Bekijk meer »

Stelling (wiskunde)

bewijzen. In de wiskunde is een stelling (ook theorema, propositie of these) een bewering, die op basis van axioma's en eerder bewezen beweringen is bewezen.

Nieuw!!: Prolog en Stelling (wiskunde) · 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 »

Syntaxis (informatica)

Syntaxis (ook wel grammatica genoemd) is een term uit de informatica.

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

Theorie van alles

De theorie van alles of unificatietheorie, is een (nog niet bestaande) theorie die de verschillende fundamentele theorieën in de natuurkunde met elkaar verenigt.

Nieuw!!: Prolog en Theorie van alles · Bekijk meer »

Uitroepteken

Een uitroepteken of uitroepingsteken is een leesteken dat wordt gebruikt om nadruk te geven aan een woord of zin.

Nieuw!!: Prolog en Uitroepteken · Bekijk meer »

Underscore

De underscore (_) (Engels voor 'onderstrepen'), ook wel onderstrepingsteken, laag streepje of onderstreepje, is een typografisch teken met de ASCII-waarde 95.

Nieuw!!: Prolog en Underscore · Bekijk meer »

Universiteit van Edinburgh

De Universiteit van Edinburgh is een Britse universiteit opgericht in 1582.

Nieuw!!: Prolog en Universiteit van Edinburgh · Bekijk meer »

Verenigd Koninkrijk

Het Verenigd Koninkrijk, officieel het Verenigd Koninkrijk van Groot-Brittannië en Noord-Ierland, afgekort VK (Engels: United Kingdom of Great Britain and Northern Ireland, afgekort UK, informeel Britain), is een soevereine staat in West-Europa met ongeveer 65,8 miljoen inwoners, gelegen tussen de Noordzee en de Atlantische Oceaan.

Nieuw!!: Prolog en Verenigd Koninkrijk · Bekijk meer »

Verenigde Staten

De Verenigde Staten, officieel de Verenigde Staten van Amerika, afgekort VS (Engels: United States of America, afgekort als USA of US), vaak (totum pro parte) Amerika (America) genoemd, is een federatie van 50 staten en het District of Columbia, grotendeels in Noord-Amerika gelegen.

Nieuw!!: Prolog en Verenigde Staten · 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 »

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 »

Watson (supercomputer)

Watson Watson is een supercomputer die ontwikkeld is door het Amerikaanse bedrijf IBM.

Nieuw!!: Prolog en Watson (supercomputer) · Bekijk meer »

Wiskundige logica

De wiskundige logica is een deelgebied van de wiskunde.

Nieuw!!: Prolog en Wiskundige logica · Bekijk meer »

Zweden

Zweden, officieel het Koninkrijk Zweden (Zweeds:; Noord-Samisch), is een Scandinavisch land in Noord-Europa.

Nieuw!!: Prolog en Zweden · Bekijk meer »

Richt hier:

PROLOG, Programmeertaal Prolog.

UitgaandeInkomende
Hey! We zijn op Facebook nu! »