Prolog: verschil tussen versies

De technieken die voor Prolog zijn ontwikkeld zijn tegenwoordig tamelijk wijd verspreid en beperken zich niet tot [[predicatenlogica|eerste orde]], maar richten zich ook op [[wiskundige logica|tweedeorde]]logica en ''automated theorem proving'', het bewijzen van [[Stelling (wiskunde)|wiskundige stellingen]] door middel van [[software]]. Talen zoals [[Gödel (programeertaal)|Gödel]] implementeren dan ook vrij veel functionaliteit van Prolog.

 

 

De programmeertaal [[Erlang (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.<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 en de twee talen hebben nog steeds oppervlakkige overeenkomsten (vooral in de syntaxis), maar Erlang werd later losgekoppeld van Prolog en ontwikkeld tot een [[functioneel programmeren|functionele taal]] in 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>