Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.
Prolog has its roots in first-order logic, a 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.
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.
For understand basic refer this site.
http://www.cse.unsw.edu.au/~billw/cs9414/notes/prolog/intro.html
In upcoming Post you will learn lots of practical regarding prolog.
Prolog has its roots in first-order logic, a 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.
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.
For understand basic refer this site.
http://www.cse.unsw.edu.au/~billw/cs9414/notes/prolog/intro.html
In upcoming Post you will learn lots of practical regarding prolog.
No comments:
Post a Comment