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 Oct 2017: ELON MUSK’S ARTIFICIAL INTELLIGENCE COMPANY CREATED VIRTUAL ROBOTS THAT CAN SUMO WRESTLE AND PLAY SOCCER
Elon Musk’s artificial intelligence company created virtual robots that can sumo wrestle and play soccer. Following is a transcript of the video. These AI robots are getting physical. They may look goofy but they're smarter than you think. OpenAI's ... ... more info

20 Oct 2017: GOOGLE'S ARTIFICIAL INTELLIGENCE COMPUTER 'NO LONGER CONSTRAINED BY LIMITS OF HUMAN KNOWLEDGE'
Dubbed AlphaGo Zero, the Artificial Intelligence (AI) system learnt by itself, within days, to master the ancient Chinese board game known as “Go” — said to be the most complex two-person challenge ever invented. It came up with its own, novel moves ... ... more info

18 Oct 2017: PHYSICS BOOSTS ARTIFICIAL INTELLIGENCE METHODS
Higgs "di-photon" event candidate from Large Hadron Collider data collisions overlaid with a schematic of a wafer of quantum processors. Credit: LHC Image: CERN/CMS Experiment; Composite: M. Spiropulu (Caltech) Researchers from Caltech and the University ... ... more info

16 Oct 2017: HUAWEI MATE 10 USES AI TO DISTINGUISH CATS FROM DOGS
Huawei Mate 10 handsets use a new type of processor to recognise objects being photographed. ... more info



Disclaimer