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   
22 Jul 2019: MICROSOFT INVESTS $1 BILLION IN OPENAI TO PURSUE ARTIFICIAL INTELLIGENCE THAT’S SMARTER THAN WE ARE
Microsoft is investing $1 billion in OpenAI, a start-up co-founded by Elon Musk, forging a partnership intent on creating artificial intelligence that rivals the human brain. Artificial intelligence ... ... more info

22 Jul 2019: MICROSOFT IS INVESTING $1 BILLION IN OPENAI, THE ELON MUSK-FOUNDED COMPANY THAT'S TRYING TO BUILD HUMAN-LIKE ARTIFICIAL INTELLIGENCE
An image of a chain link. It symobilizes a website link url. An envelope. It indicates the ability to send an email. A stylized bird with an open mouth, tweeting. The word "in". A stylized letter F. ... ... more info

22 Jul 2019: MICROSOFT INVESTS $1 BILLION IN OPENAI TO PURSUE HOLY GRAIL OF ARTIFICIAL INTELLIGENCE
Microsoft is investing $1 billion in OpenAI, a San Francisco-based research lab founded by Silicon Valley luminaries, including Elon Musk and Sam Altman, that’s dedicated to creating artificial ... ... more info

22 Jul 2019: NFL TO BE ADVISED BY ARTIFICIAL INTELLIGENCE ON PLAYER PERFORMANCE, SALARY
The National Football League is turning to artificial intelligence to determine whether its teams are paying some of their star players too much money. Continue Reading Below Pro Football Focus (PFF) ... ... more info

22 Jul 2019: MICROSOFT JOINS PROJECT ON ETHICAL ARTIFICIAL INTELLIGENCE
Microsoft on Monday announced a $1 billion investment in an OpenAI ethical artificial intelligence project backed by Tesla's Elon Musk and Amazon. The partnership will be devoted to developing ... ... more info

22 Jul 2019: MICROSOFT INVESTS $1 BILLION IN ELON MUSK'S ARTIFICIAL INTELLIGENCE PROJECT
Microsoft and OpenAI announced a new partnership to build artificial general intelligence to tackle more complex tasks than AI. Microsoft will invest $1 billion in OpenAI as part of the project, the ... ... more info

22 Jul 2019: GOOGLE IS WORKING ON ‘SELF-HEALING’ MAPS, THANKS TO ARTIFICIAL INTELLIGENCE
Zoom in on the Google Maps app on your phone, and eventually the shapes of buildings will come into view. You can thank artificial intelligence for helping to create scenes like that one—and that’s ... ... more info

22 Jul 2019: MICROSOFT INVESTS $1 BILLION IN ARTIFICIAL INTELLIGENCE LAB CO-FOUNDED BY ELON MUSK
Microsoft has agreed to invest $1 billion in and partner with research company OpenAI, co-founded by Elon Musk, to develop artificial general intelligence, a technology that could have human-level ... ... more info



© 2001-2019 Prolog.info Disclaimer