|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|
|16 Aug 2018: THE FUTURE OF ARTIFICIAL INTELLIGENCE IN RETAIL|
|Hype around artificial intelligence has never been higher — and one industry where it has a chance to make a major impact on profits is retail. Business Insider Intelligence Business Insider Intellige... ... more info|
|16 Aug 2018: AS NVIDIA EXPANDS IN ARTIFICIAL INTELLIGENCE, INTEL DEFENDS TURF|
|(Reuters) - Nvidia Corp (NVDA.O) dominates chips for training computers to think like humans, but it faces an entrenched competitor in a major avenue for expansion in the artificial intelligence chip ... ... more info|
|16 Aug 2018: STEFANINI AND SAINT PAUL BUSINESS SCHOOL ANNOUNCED PARTNERSHIP IN BRAZIL TO USE ARTIFICIAL INTELLIGENCE|
|In order to reinforce the goal of better use of technology to support education, Stefanini, a $1B global IT provider, announced today that the company partnered with Saint Paul. The two companies are ... ... more info|
|16 Aug 2018: 'AMERICAN HISTORY X' DIRECTOR TONY KAYE WANTS TO CAST ARTIFICIAL INTELLIGENCE AS A LEAD ACTOR IN HIS NEXT FILM|
|British director Tony Kaye is hoping to cast an artificial intelligent (AI) "actor" in the lead of his next film, "2nd Born." The idea to cast a robot in a lead role is a joint effort between Kaye and ... ... more info|
|16 Aug 2018: INTEL ACQUIRES SEATTLE-BASED DEEP LEARNING STARTUP VERTEX.AI TO BOLSTER ARTIFICIAL INTELLIGENCE EFFORTS|
|Vertex co-founder Choong Ng. Intel has acquired Vertex.AI, a three-year-old Seattle startup whose tools let developers add deep learning capabilities to their software. “With this acquisition, Intel g... ... more info|
|16 Aug 2018: INTEL BUYS SEATTLE ARTIFICIAL INTELLIGENCE STARTUP|
|Intel, eager to expand into new markets beyond the fading PC sector, said Thursday it has purchased a three-year-old Seattle artificial intelligence startup called Vertex.AI. It's Intel's second acqui... ... more info|