|Prolog Compilers| Prolog Environments| Prolog Examples| Prolog Books| Prolog FAQ| Contact|
Prolog is a declarative programming language based on predicate calculus. It was created was by Alain Colmerauer in 1970, as an attempt to create a language that enabled the expression of logic instead of a step by step procedure.
Prolog is particularly well-suited to express complex ideas and is the language of choice for many applications in Artificial Intelligence. It is particularly suited for expert systems and natural language parsers and, in general, for any system based on knowledge representation and problem solving.
From the programmer's perspective Prolog is very different from traditional languages. The drudgery of memory management, stack pointers etc. is left to the computational engine and the programmer is free to concentrate on the logical description of the problem. So, rather than conceiving a procedural way of solving the problem itself, the Prolog programmer focuses on representing a knowledge domain, leaving to the Prolog engine the task of finding solutions for any problem arising in that domain.
A lot of the research leading up to modern implementations of Prolog came from spin-off effects caused by the Fifth Generation Computer Systems Project which chose to use a variant of Prolog, named Kernel Language, for their operating system.
Today, the most advanced examples of robotics and AI have inspired several leaders in the scientific community to voice concerns about Artificial Intelligence. Joseph Weizenbaum, the creator of the famous ELIZA program, was one of the most vocal critic of it:
||> Top Headlines|
|18 May 2018: TOP EXECUTIVE BEHIND BAIDU'S ARTIFICIAL INTELLIGENCE DRIVE STEPPING DOWN|
|BEIJING (Reuters) - Lu Qi, who oversaw Baidu Inc's
|18 May 2018: “COW FITBITS” AND ARTIFICIAL INTELLIGENCE ARE COMING TO THE DAIRY FARM, BUT SOME FARMERS AREN’T IMPRESSED|
|WAYNESBORO, Ga. — In the two months since Richard Watson strapped 200 remote-control-sized transmitters around his cows’ necks, an artificial-intelligence system named Ida has pinged his phone with helpful alerts: when his cows are chewing the cud ... ... more info|
|19 May 2018: GOOGLE PUSHES ARTIFICIAL INTELLIGENCE FOR UPGRADED NEWS APP|
|For its updated news application, Google is doubling down on the use of artificial intelligence as part of an effort to weed our disinformation and help users get viewpoints beyond their own "filter bubble." Google chief Sundar Pichai, who unveiled the ... ... more info|
|19 May 2018: APTTUS AND THE RISE OF ENTERPRISE AI (ARTIFICIAL INTELLIGENCE)|
|As seen with the offerings from mega tech companies like Microsoft, Amazon.com, Facebook and Google, AI (Artificial Intelligence) is rapidly becoming mainstream. Yet much of the technologies have been for consumer applications. But what about the enterprise? ... more info|
|18 May 2018: IBM WILL CONTROL TRAFFIC WITH ARTIFICIAL INTELLIGENCE|
|In a recent development, IBM has been allowed to control traffic lights through artificial intelligence. The patent by IBM shows IBM will control traffic signals with the help of AI. It means no more timers for traffic signals. Traffic would be next big ... ... more info|