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   
19 Jun 2018: IF YOU'RE SCARED OF ARTIFICIAL INTELLIGENCE, YOU SHOULD KNOW IT'S ALREADY EVERYWHERE
In March, the dating app Bumble banned guns. Daters swiping left or right on each other’s alluring poses now aren’t allowed to use a photo of themselves holding a firearm on their profile. The ban came over a year after the service put a restriction on ... ... more info

17 Jun 2018: HOW SPIRIT AI USES ARTIFICIAL INTELLIGENCE TO LEVEL UP GAME COMMUNITIES
Spirit AI is using artificial intelligence to combat toxic behavior in game communities. The London company has created its Ally social intelligence tool to decipher online conversations and monitor whether cyberbullying is taking place. It is the ... ... more info

19 Jun 2018: IBM'S PROJECT DEBATER USES ARTIFICIAL INTELLIGENCE TO DEBATE A HUMAN
SAN FRANCISCO — IBM computers famously won at Jeopardy! and beat world class chess masters. Now, they're taking on human debaters. At a media gathering here Monday afternoon, a black, artificial intelligence-infused IBM computer with a screen for a ... ... more info

18 Jun 2018: THE AI DEVELOPED TO IDENTIFY AND COUNT WILD ANIMALS
University researchers are using deep neural networks to study wildlife and enhance conservation. ... more info



Disclaimer