|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|
|26 Jul 2017: ELON MUSK AND MARK ZUCKERBERG CLASH OVER RISKS OF ARTIFICIAL INTELLIGENCE|
|Two tech billionaires are clashing over the future of artificial intelligence. Tesla co-founder Elon Musk warned this month that AI is a "fundamental risk to the existence of human civilization." "I keep sounding the alarm bell but, you know, until people ... ... more info|
|26 Jul 2017: ROADWORK GETS TECHIE: DRONES, ARTIFICIAL INTELLIGENCE CREEP INTO THE ROAD CONSTRUCTION INDUSTRY|
|High above the Balfour interchange on State Route 4 in Brentwood, a drone buzzes, its sensors keeping a close watch on the volumes of earth being moved to make way for a new highway bypass. In Pittsburg, a camera perched on the dash of car driving through ... ... more info|
|26 Jul 2017: THE ARTIFICIAL INTELLIGENCE ARMS RACE|
|Cyberspace is now a territory where politics, economics, and foreign affairs are all contested – and Internet bots driven by artificial intelligence have emerged as key new actors, Andrej Zwitter writes. Artificial intelligence (AI) is pervading all ... ... more info|
|26 Jul 2017: WHY ELON MUSK, MARK ZUCKERBERG ARTIFICIAL INTELLIGENCE FIGHT IS FAR FROM OVER|
|There aren’t many people on Earth whose audacious dreams may shape its future more than Elon Musk, the CEO of SpaceX and Tesla, and Facebook founder Mark Zuckerberg. But is the planet big enough for the both of them? The two visionaries are having a real ... ... more info|