What is a prolog?
Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic.
Foundation of prolog:
Early life
Alain Colmerauer was born on 24 January 1941 in Carcassonne. He graduated from the Grenoble Institute of Technology, and he earned a PhD from the Ensimag in Grenoble. He was a professor at Aix-Marseille University and the creator of the logic programming language Prolog. Colmerauer spent 1967–1970 as an assistant professor at the University of Montreal, where he created Q-Systems, one of the earliest linguistic formalisms used in the development of the TAUM-METEO machine translation prototype. Developing Prolog III in 1984, he was one of the main founders of the field of constraint logic programming.
European AI researchers favoured Prolog while Americans favoured Lisp, reportedly causing many nationalistic debates on the merits of the languages. Much of the modern development of Prolog came from the impetus of the Fifth Generation Computer Systems project (FGCS), which developed a variant of Prolog named Kernel Language for its first operating system.
Colmerauer became an associate professor at Aix-Marseille University in Luminy in 1970. He was promoted to full professor in 1979. From 1993 to 1995, he was head of the Laboratoire d’Informatique de Marseille (LIM), a joint laboratory of the Centre National de la Recherche Scientifique, the Université de Provence and the Université de la Méditerranée. Despite retiring as emeritus professor in 2006, he remained a member of the artificial intelligence task force in Luminy.
Colmerauer won an award from the regional council of Provence-Alpes-Côte d’Azur, and in 1985 the Michel Montpetit Award, from the French Academy of Sciences. In 1986, he was made a Knight of the Legion of Honour by the French government. He became a Fellow of the American Association for Artificial Intelligence in 1991 and received the Association for Constraint Programming’s Research Excellence Award in 2008. He was also a correspondent of the French Academy of Sciences in the area of mathematics.
The language has been used for theorem proving, systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications.
It is found that Prolog was the ideal choice for the language due to its simplicity and expressiveness.”Prolog is being used in the Low-Code Development Platform GeneXus, which is focused on AI. Open source graph database TerminusDB is implemented in prolog. TerminusDB is designed for collaboratively building and curating knowledge graphs.
FOLLOW US ON INSTAGRAM, FACEBOOK AND PINTEREST
DISCLAIMER
The information is provided by Tecquisition for general informational and educational purposes only and is not a substitute for professional legal advice. If you have any feedback, comments, requests for technical support or other inquiries, please mail us by tecqusition@gmail.com.
Comments