
related topics 
{math, number, function} 
{law, state, case} 
{system, computer, user} 
{theory, work, human} 
{language, word, form} 
{acid, form, water} 
{specie, animal, plant} 

Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.^{[1]}^{[2]}^{[3]}
Prolog has its roots in formal logic, and unlike many other programming languages, Prolog is declarative: The program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.^{[4]}
The language was first conceived by a group around Alain Colmerauer in Marseille, France, in the early 1970s and the first Prolog system was developed in 1972 by Colmerauer with Philippe Roussel.^{[5]}^{[6]}
Prolog was one of the first logic programming languages,^{[7]} and remains among the most popular such languages today, with many free and commercial implementations available. While initially aimed at natural language processing, the language has since then stretched far into other areas like theorem proving,^{[8]} expert systems,^{[9]} games, automated answering systems, ontologies and sophisticated control systems. Modern Prolog environments support creating graphical user interfaces, as well as administrative and networked applications.
Contents
Full article ▸


related documents 
System of linear equations 
Relational model 
Combinatory logic 
Linear programming 
Laplace transform 
Spinor 
Big O notation 
Quadratic reciprocity 
Fibonacci number 
Trigonometric functions 
Redblack tree 
Banachâ€“Tarski paradox 
Wikipedia:Free Online Dictionary of Computing/R  S 
Formal power series 
Lebesgue integration 
Field (mathematics) 
Bernoulli number 
Lambda calculus 
Padic number 
Determinant 
Linked list 
Binary search algorithm 
Computer numbering formats 
Distribution (mathematics) 
Travelling salesman problem 
Mandelbrot set 
Binomial coefficient 
Discrete cosine transform 
Grothendieck topology 
Turing machine 
