Prolog: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Qwertyus (overleg | bijdragen)
→‎Warren Abstract Machine: herschreven: specifiekere waardering van Russell en Norvig
Qwertyus (overleg | bijdragen)
referenties R&N samengevoegd
Regel 54:
Hoewel het gebruik van Prolog zich in eerste instantie beperkte tot de [[Academie|academische wereld]], werden de implementaties gaandeweg stabiel genoeg zodat de taal in commercieel gebruik kon worden genomen. Begin jaren 90 had Prolog een "stabiele niche" verworven op de markt voor programmeertalen.<ref>{{Citeer tijdschrift |Van Roy |Peter |datum=1994 |url=http://www.sciencedirect.com/science/article/pii/0743106694900310 |titel=1983–1993: The wonder years of sequential Prolog implementation |tijdschrift=Journal of Logic Programming |jaargang=19 |pp=385–441}}</ref>
Tot de gebruikers in de industriële wereld behoorden [[Boeing]], dat met behulp van een [[expertsysteem]] handleidingen voor de assemblage van connectors met lijsten van benodigde gereedschappen, materialen, onderdelen en procedures samenstelde. Het ''National Center for Atmospheric Research'' in de [[Verenigde Staten|VS]] gebruikte op Prolog gebaseerde software om kortetermijnweerberichten te genereren, in [[Boedapest]] hield een Prologapplicatie de concentraties van vervuilende stoffen in de gaten en adviseert over de te gebruiken extra filters als niveaus worden overstegen, en in het [[Verenigd Koninkrijk]] adviseerde een toepassing het personeel van een waterleidingbedrijf over optimaal gebruik van pompen, zodat de druk in het waterleidingsysteem gelijk verdeeld is.<ref>{{Citeer nieuws |achternaam=Roth |voornaam=Al |tijdschrift=Dr. Dobbs |datum=10 december 2002 |titel=The Practical Application of Prolog |url=http://www.drdobbs.com/parallel/the-practical-application-of-prolog/184405220}} Oorspronkelijk in ''AI Expert'', 1993.</ref>
Ongeveer in dezelfde periode, echter, publiceerden onderzoekers die bij de ontwikkeling van logisch programmeren betrokken waren, een artikel waarin zij stelden dat dit paradigma "ondanks de theoretische voordelen" niet doorgebroken was: van de vijfhonderd applicaties op de publieke lijst "Prolog-1000" werden er slechts enkele door meer dan 100 mensen gebruikt.<ref><!--waarom is er geen "citeer congres"? -->Zoltan Somogyi, Fergus Henderson, Thomas Conway en Richard O'Keefe (1995). [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.3104 Logic Programming for the Real World]. ILPS'95 Postconference Workshop on Visions for the Future of Logic Programming.</ref> Een schatting uit 2003 hield het aantal Prolog-gebruikers op honderduizenden.<ref>Stuart J. Russell en Peter Norvig (2003). ''Artificial Intelligence: A Modern Approach''. Prentice Hall, p. 289).</ref>
 
De krachtige ''inference engine'', de mogelijkheid tot ''[[backtracking]]'' ("terugkrabbelen") en de eenvoud en flexibiliteit van de taal maken haar zeer geschikt voor ''Rapid Prototyping'', vooral omdat ingewikkelde regels relatief simpel kunnen worden uitgedrukt. Dit maakt haar ook zeer geschikt om taaluitingen, natuurlijk of anderszins te interpreteren en voort te brengen. Prolog wordt dan ook vaak voor dit doel ingezet. Dat de taal al beschikt over mechanismen om [[syntaxis (informatica)|syntaxis]] te definiëren, zoals ''Definite Clause Grammars'', maakt haar uitermate geschikt voor dit doel. Het [[Internationaal ruimtestation ISS|internationale ruimtestation ISS]] heeft ''Clarissa'',<ref>[http://www.sics.se/isl/sicstuswww/site/customers.html SICStus]</ref> een in Prolog geschreven ''"fully voice operated procedure browser"'' om de astronauten te ondersteunen in de duizenden procedures die vereist zijn om het ruimtestation draaiend te houden.
Regel 579:
{{Appendix||2=
=== Bronnen ===
* Stuart J. Russell en Peter Norvig (2003). ''Artificial Intelligence: A Modern Approach''. Prentice Hall, ISBN 0-13-080302-2.
* ''Prolog. Beschrijving van de standaard'', W.F. Clocksin, C.S. Mellish, 1987, Kluwer Technische Boeken, ISBN 90-201-2074-3
* ''Prolog Programming'', Claudia Marcus, Arity Corporation, 1986, Addison Wesley, ISBN 0-201-14647-9