Prolog

Turbo Prolog op de markt, dat nog steeds onder de naam Visual Prolog wordt gebruikt.

Het belangrijkste verschil is dat types in Turbo Prolog statisch worden geverifieerd en dus moeten worden gedeclareerd, wat de flexibiliteit van Prolog teniet doet.

De programmeertaal Erlang werd oorspronkelijk geïmplementeerd in Prolog; de ontwerpers van de taal stellen dat Erlang, zonder Prolog en de geschiktheid daarvan voor rapid prototyping, niet bestaan zou hebben.

Als men door de retry-poort gaat, zal Prolog dit doel nogmaals proberen te verwezenlijken, maar kiest nu een alternatief.

Er zijn meerdere mogelijkheden om een als-dan-anders constructie te implementeren in Prolog.

Het boek werd in 2001 in het Duits vertaald (Der Prolog).

Fathom is net als Prolog een dataflow-taal.

En als Y en Z Prolog en Lisp zijn geweest dan is het kudo's voor de opleiding.

Collega Goethe begon zijn Faust met een beroemd geworden «Prolog im Himmel» en dus deed Mulisch dat ook.

Die laatste drie woorden komen uit Prolog, het openingsstuk van Haus der Lüge uit 1989.

De Prolog interpreter zal alle clauses van boven naar onder aflopen terwijl het naar feiten en regels zoekt die overeenkomen.

Java, C/C++, Prolog, Rexx, Assembly, Clipper 5.0 en WordPerfect macro's.

Prolog heeft nooit de wereld veroverd -dat is er nooit van gekomen- toch is het er nog steeds.

Hierbij neemt Prolog aan dat waar is als het er niet in slaagt om aan te tonen dat geldt.

Deze taal, die veel meer op hobbyisten dan op professionele gebruikers is gericht, verschilt echter zodanig van Prolog zelf, dat de naam eigenlijk misleidend is.

Edinburgh Prolog geldt in velerlei opzicht nog steeds als richtinggevend.

SICStus is de grootste leverancier van Prolog-compilers en de innovaties op het gebied van parallellisatie en schaalbaarheid gelden als richtinggevend.

Warren Abstract Machine In 1983 ontwierp David H. D. Warren een virtuele machine gericht op de taal Prolog.

Begin jaren 90 had Prolog een "stabiele niche" verworven op de markt voor programmeertalen.

Gebruik Omdat Prolog is gebaseerd op formele logica en met behulp van een inference engine zelfstandig conclusies kan trekken, is deze taal geschikt om kennis te modelleren en de mens te ondersteunen bij het trekken van conclusies uit gegevens.