Prolog: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Qwertyus (overleg | bijdragen)
→‎Invloed: Erlang lijkt in vrijwel niets op Prolog, behalve de syntaxis
Qwertyus (overleg | bijdragen)
→‎Invloed: meer over de relatie Erlang-Prolog
Regel 63:
In de jaren 80 van de vorige eeuw bracht [[Borland (softwarebedrijf)|Borland]] ''Turbo Prolog'' op de markt, dat nog steeds onder de naam ''Visual Prolog'' wordt gebruikt. 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. 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 (programmeertaal)|Erlang]] werd oorspronkelijk geïmplementeerd in Prolog; de ontwerpers van de taal stellen dat Erlang, zonder Prolog en heeftde geschiktheid daarvan voor ''rapid prototyping'', niet bestaan zou hebben.<ref>J. L. Armstrong, S. R. Virding en M. C. Williams (1992). [http://www.erlang.se/publications/prac_appl_prolog.pdf Use of Prolog for developing a new programming language]. First Conference on the Practical Application of Prolog. Association for Logic Programming.</ref> Erlang was oorspronkelijk een dialect, of extensie, van Prolog; de twee talen hebben nog steeds oppervlakkige overeenkomsten met Prolog (vooral in de syntaxis)., Hetmaar Erlang werd later losgekoppeld van Prolog en isontwikkeld echtertot een [[functioneel programmeren|functionele taal]], nietin plaats van een logische.<ref>J. L. Armstrong (1996). [http://www1.erlang.se/publications/inap96.pdf Erlang—a Survey of the Language and its Industrial Applications]. Proc. INAP. Vol. 96. 1996.</ref>
 
Ook in de literatuur heeft de taal enige sporen nagelaten. In de roman ''Dirk Gently's Holistic Detective Agency'' van [[Douglas Adams]] speelt een op Prolog gebaseerd expertsysteem een rol dat voor ieder gewenst politiek doel automatisch een redenering verzint die het idee onderbouwt. Overigens reageert een [[SWI-Prolog]]-systeem met ''"[[Het antwoord op de ultieme vraag over het Leven, het Universum, en Alles|42]]"'' op onzinnige query's.