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.
SWI-Prolog Download     


|> Top Headlines   
24 Sep 2016: THE FIRST POP SONG EVER WRITTEN BY ARTIFICIAL INTELLIGENCE IS PRETTY GOOD, ACTUALLY
We already know that artificial intelligence systems can work in law firms and beat the world champion at a game of Go. Now it turns out that AI can write some pretty good pop songs, too. Researchers at Sony have been working on AI-generated music for ... ... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their Facebook page, here. Be sure … Continue reading ... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their Facebook page, here. Be sure … Continue reading ... more info

23 Sep 2016: INSIDE DEEPMIND'S LATEST ATTEMPTS TO ACHIEVE A GENERAL ARTIFICIAL INTELLIGENCE: WHAT ARE PROGRESSIVE NEURAL NETS?
General artificial intelligence, a machine that is capable of human-level expertise in multiple tasks, was the hot topic during the morning of the Rework Deep Learning Summit in London yesterday, with two of the UK’s best AI companies Google DeepMind and ... ... more info

23 Sep 2016: APPLE INC ACQUIRES MACHINE-LEARNING STARTUP TUPLEJUMP TO EXPAND ARTIFICIAL INTELLIGENCE CAPABILITIES
Apple Inc. has acquired Indian machine-learning startup Tuplejump Software Pvt Ltd as it seeks to expand its expertise in artificial intelligence. The iPhone maker bought the Hyderabad, India-based company in June, according to a person familiar with the ... ... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their Facebook page, here. Be sure … Continue reading ... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their Facebook page, here. Be sure … Continue reading ... more info

22 Sep 2016: APPLE PURCHASED A SMALL COMPANY THAT SPECIALIZES IN ADVANCED ARTIFICIAL INTELLIGENCE
Apple has bought Tuplejump, a machine learning technology company with operations in both India and the United States, TechCrunch reports. Apple continues to buy companies with machine learning expertise. The reason the company had its eyes on Tuplejump ... ... more info

22 Sep 2016: IS CHINA REALLY BUILDING MISSILES WITH ARTIFICIAL INTELLIGENCE?
With rising security challenges in the global commons, there is growing interest in the subject of “intelligent” weapons systems. This is especially so in the maritime realm, where recent studies have shown that precision-guided weaponry and networked ... ... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their Facebook page, here. Be sure … Continue reading ... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their Facebook page, here. Be sure … Continue reading ... more info

21 Sep 2016: ORCHESTRAL WORK HARNESSES ARTIFICIAL INTELLIGENCE
What do a creative coder, a data visualist and an orchestra composer have in common? "Symphonologie: the Music of Business", which is described as a symphonic experience, was created by Accenture Strategy to combine human insight and artificial intelligence. ... more info

21 Sep 2016: ARTIFICIAL INTELLIGENCE: MICROSOFT PLANS TO ROPE IN AI TO CURE CANCER
Even though bio-medicine was quick to make use of robotics and internet of things, its adoption of artificial intelligence has been slow and limited. However, with Microsoft aiming to develop cancer solutions with the help of artificial intelligence ... ... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their Facebook page, here. Be sure … Continue reading ... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their Facebook page, here. Be sure … Continue reading ... more info

20 Sep 2016: DARPA SEES FUTURE WARS WON WITH HYPERSONIC WEAPONS AND ARTIFICIAL INTELLIGENCE
Artist's concept of an X-51A hypersonic aircraft during flight Wikimedia Commons NATIONAL HARBOR, Md — In comments that conjure up dystopian images of a future dominated by robot soldiers controlled by Skynet, researchers with the... more info

20 Sep 2016: A SONG COMPOSED BY ARTIFICIAL INTELLIGENCE IN THE STYLE OF THE BEATLES
Enjoy this song by the Pre-Fab Four! Scientists at SONY CSL Research Laboratory have created the first-ever entire songs composed by Artificial Intelligence: Daddy's Car and Mister Shadow. The researchers have developed FlowMachines, a system that ... more info

20 Sep 2016: SAY 'ALLO TO GOOGLE ALLO: NEW MESSAGING APP USES ARTIFICIAL INTELLIGENCE TO PREDICT WHAT YOU WANT TO SAY NEXT
Just in case you don't have enough messaging apps on your smartphone, Google has just released another one. First announced at Google's I/O developer conference in May, Allo is a messaging app for Android and iOS that lets you "make plans, find information ... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their... more info

19 Sep 2016: HOW NM BUSINESSES CAN CAPITALIZE ON ARTIFICIAL INTELLIGENCE
Artificial intelligence has exciting applications for almost all businesses, especially for startups, says William Yeoh, an assistant professor at New Mexico State University who studies the technology. "We generate so much data whenever we go online... more info

18 Sep 2016: SALESFORCE EINSTEIN DELIVERS ARTIFICIAL INTELLIGENCE ACROSS THE SALESFORCE PLATFORM
Say what you will about Salesforce, the company is always looking ahead. This afternoon, it announced Salesforce Einstein, its artificial intelligence (AI) initiative. The timing, which comes just ahead of rival Oracle’s Open World keynote address, is ... more info

18 Sep 2016: SOMETIMES, IT WOULD SEEM, ARTIFICIAL INTELLIGENCE... ISN'T
As we hurtle through the innovative and endlessly updated second decade of the 21 century, the prospects seem brighter and better than ever that our new web and social media tools will help us better communicate and more effectively confront serious ... more info

17 Sep 2016: NAVAL MISSILE SYSTEMS AND THE LIMITS OF ARTIFICIAL INTELLIGENCE
The new buzzword in militaries across the world today is ‘artificial intelligence’ (AI) — the ability for combat platforms to self-control, self-regulate and self-actuate, using inherent computing and decision-making capabilities. That advanced ... more info

16 Sep 2016: CHATTERBOTS BID TO SHOW THEIR HUMAN SIDE IN ARTIFICIAL INTELLIGENCE TEST
Computers will be hoping to finally vanquish humans today, in a contest at Bletchley Park. A series of chatterbots will attempt to fool judges - including me - into thinking they are also human. No computer has ever triumphed at the Loebner Prize ... more info

15 Sep 2016: CULTURAL PRISM: VERY REAL ARTIFICIAL INTELLIGENCE
Self-aware computers that turn on their human masters, such as Skynet in Terminator and HAL 9000 in 2001: A Space Odyssey, are a classic science fiction theme. With great strides being made in artificial intelligence, the gap between such far-fetched ... more info

15 Sep 2016: HOW ARTIFICIAL INTELLIGENCE COULD MAKE YOU CEO OF YOUR OWN HEALTHCARE
SILICON VALLEY — Artificial intelligence is beginning to disrupt healthcare by sifting through large, complex data sets to precisely identify drugs that more effectively treat an individual. AI also will help tackle another big opportunity ... more info

15 Sep 2016: SYFY ORDERS PILOTS FOR AI DRAMA ‘THE MACHINE’, ‘HAUNTED’ & ‘HAPPY!’ ADAPTATION
Syfy is stepping up its development efforts with three pilot orders to artificial intelligence drama The Machine, based on the 2013 cult hit film; supernatural horror-drama Haunted; and Happy! based on Grant Morrison and Darick Robertson’s graphic novel ... more info

15 Sep 2016: AMAZON ECHO: BETTING ON ARTIFICIAL INTELLIGENCE
Amazon launches the Amazon Echo, which is an artificially intelligent Bluetooth speaker - It is based on Amazon's cloud-based voice service, Alexa and this can make your house a whole lot smarter ... more info

14 Sep 2016: NVIDIA ANNOUNCES MORE EFFECTIVE ARTIFICIAL INTELLIGENCE COMPUTER FOR BAIDU CAR
NVIDIA Corp announced the debut of a smaller and more efficient artificial intelligence (AI) system for self-driving cars that would operate Baidu’s navigation and autonomous vehicle technology. The American chipmaker, based in California, also plans to ... more info

14 Sep 2016: BAIDU VENTURE TO BET ON AI AND VR FIRMS
Last Tuesday Baidu Inc announced its first venture capital firm focusing on artificial intelligence. Called Baidu Venture, the new company will focus on early-stage projects in artificial intelligence and other next-generation technologies, such as augmented reality and virtual reality, according to a statement from... more info

13 Sep 2016: TUNE IN: ECONOMIST HOLDING FACEBOOK LIVE Q&A ABOUT AI AND THE FUTURE OF WORK
How will artificial intelligence change the world of work? The Economist is holding a Facebook Live Q&A with their Deputy Editor on Tuesday, September 13, 4pm London time. You can watch, listen, and tune in on their... more info

13 Sep 2016: MEET THE ARTISTS WHO HAVE EMBRACED ARTIFICIAL INTELLIGENCE
Sam Kronick has a bunch of rocks arrayed in front of him on a raised desk in his Oakland studio. He’s an artist and his plan is to sketch the rocks, but not with pen and paper. He and his artistic partner Tara Shi are going to do a 3D scan of them so... more info

13 Sep 2016: HOW WILL ARTIFICIAL INTELLIGENCE AFFECT VN BUSINESSES?
VietNamNet Bridge – Artificial intelligence now plays an increasingly important role in enterprises’ operation as it helps increase productivity, thus optimizing profit. However, Vietnamese businesses still hesitate to invest in it. In 2004, Nguyen ... ... more info

13 Sep 2016: 'GRAND THEFT AUTO' IS TEACHING AI HOW TO DRIVE
A team of researchers is using Grand Theft Auto V to teach artificial intelligence algorithms how to drive. Why use a game instead of something more real? It comes down to the trouble of making a convincing world for the AI to mess around in. As the team ... ... more info

12 Sep 2016: NVIDIA SHOWS OFF SMALLER ARTIFICIAL INTELLIGENCE COMPUTER FOR BAIDU CAR
U.S. chipmaker Nvidia Corp (NVDA.O) showed off on Monday a smaller and more efficient artificial intelligence computer for self-driving cars, saying it would power Baidu's (BIDU.O) mapping and autonomous vehicle technology. Chinese web services company ... ... more info

12 Sep 2016: COPS USING ARTIFICIAL INTELLIGENCE TO STOP CRIMES BEFORE THEY HAPPEN, RESEARCHERS WARN
Cops are already using computers to stop crimes before they happen, academics have warned. In a major piece of research called “Artificial Intelligence and life in 2030”, researchers from Stanford University said “predictive policing” techniques ... ... more info

11 Sep 2016: 5 WAYS ARTIFICIAL INTELLIGENCE WILL CHANGE ENTERPRISE IT
It’s been a busy summer in the artificial intelligence (A.I.) space, but the most interesting A.I. opportunities might not be coming from the biggest names. You may have heard about Tesla’s self-driving cars that made headlines twice, for vastly ... ... more info

11 Sep 2016: THE BIG DATA PROBLEM FOR AI IN LAW
Artificial intelligence is a big deal. It will change our society, and the way we do things. Just maybe not immediately, and in law it might be even longer. The function of artificial intelligence is directly connected to the concept of big data. ... more info

11 Sep 2016: FINTECH, BIG DATA, ARTIFICIAL INTELLIGENCE AND FUTURE OF MONEY
The echoes of antiquity tell us that Nimrod built the world’s first great city. In postmodern times, trillions of dollars can appear as electrons on a computer screen and be sent halfway around the world, or all the way around the world, with simply the ... ... more info

9 Sep 2016: GOOGLE'S DEEPMIND ARTIFICIAL INTELLIGENCE HAS FIGURED OUT HOW TO TALK
Google DeepMind claims to have significantly improved computer-generated speech with its AI technology, paving the way forward for sophisticated talking machines like those seen in sci-fi films like "Her" and "Ex-Machina." The London-based research lab ... ... more info

9 Sep 2016: REUTERS PICTURES PHOTOJOURNALISM FEATURES IN TATE ARTIFICIAL INTELLIGENCE PROJECT
Reuters Pictures news photography features in Recognition, an artificial intelligence program which compares up-to-the-minute photojournalism from Reuters with British art from the Tate’s collection. Until November 27, Recognition will create an ever ... ... more info

9 Sep 2016: INDUSTRY RESPONDS TO ARTIFICIAL INTELLIGENCE TECHNOLOGY DEVELOPMENT
Responses to a White House request for information about the future of artificial intelligence show a continued divide between those who are ready to embrace intelligent machines and those who worry about a future in which robots run the world. The ... ... more info

9 Sep 2016: GOOGLE'S DEEPMIND ARTIFICIAL INTELLIGENCE HAS FIGURED OUT HOW TO TALK
Google DeepMind claims to have significantly improved computer-generated speech with its AI technology, paving the way forward for sophisticated talking machines like those seen in sci-fi films like "Her" and "Ex-Machina." The London-based research lab ... ... more info

9 Sep 2016: WHAT ARTIFICIAL INTELLIGENCE WILL LOOK LIKE IN 2030 – HARVARD GAZETTE
Artificial intelligence (AI) has already transformed our lives — from the autonomous cars on the roads to the robotic vacuums and smart thermostats in our homes. Over the next 15 years, AI technologies will continue to make inroads in nearly every area ... ... more info

8 Sep 2016: WHY HASN'T ARTIFICIAL INTELLIGENCE MADE THE INTERNET SMARTER?
The commercial Internet has now been around for twenty some years and the overall experience hasn’t changed much from the days of “You’ve Got Mail.” The Internet started out as a research tool between government, universities and corporations. ... more info

8 Sep 2016: APPLE IS TRYING TO TURN THE IPHONE INTO A DSLR USING ARTIFICIAL INTELLIGENCE
When Apple unveiled the seventh iteration of the iPhone yesterday, it made sure to play up the camera. After all, the company has a small army working on the iPhone's ability to take photos. The device's camera is also often touted as one of its most ... ... more info

8 Sep 2016: SMARTER ADVERTISING WITH ARTIFICIAL INTELLIGENCE – MARTECH ADVISOR
As the artificial intelligence market is projected to grow by 53% in by 2020, advertisers are looking for ways to use the technology to their advantage. Vernon Vasu, CMO at ReFUEL4 states that researchers are looking into using AI for creative development ... ... more info

7 Sep 2016: GUARDIAN EXPERIMENTS WITH ARTIFICIAL INTELLIGENCE USING NEWS 'CHATBOT' TO ANSWER READER QUESTIONS
The Guardian has launched a news chatbot on Facebook Messenger in a further experimentation with the format that it first used to share recipes this summer. A chatbot is a computer programme that a user can interact with in a conversational, human way. ... more info

6 Sep 2016: THE 'JUSTICE LEAGUE FOR AI': ALPHABET, AMAZON, FACEBOOK, IBM, AND MICROSOFT FORM ARTIFICIAL INTELLIGENCE ETHICS BOARD (BUT APPLE IS NOT PART OF IT)
From job automation to fears of a robot uprising, the growth of artificial intelligence has spurred numerous concerns over the future of humanity, many of which have long been stoked by science fiction. But now, the tech giants of Silicon Valley are ... ... more info

6 Sep 2016: WHEN ARTIFICIAL INTELLIGENCE JUDGES A BEAUTY CONTEST, WHITE PEOPLE WIN
As humans cede more and more control to algorithms, whether in the courtroom or on social media, the way they are built becomes increasingly important. The foundation of machine learning is data gathered by humans, and without careful consideration, the ... ... more info

6 Sep 2016: WHAT WILL ARTIFICIAL INTELLIGENCE LOOK LIKE IN 15 YEARS?
Whether they are assisting your doctor in surgery, driving your car, analyzing crime patterns, or cleaning and providing the security system for your home, artificial intelligence (AI) will play a big role in urban living in by 2030. But to maximize the ... ... more info

6 Sep 2016: HOW ARTIFICIAL INTELLIGENCE WILL AUGMENT THE TYPICAL NORTH AMERICAN CITY OF 2030
Artificial intelligence (AI) is no longer the stuff of science fiction books and movies. It is a reality that is already permeating society and is affecting our daily lives. If you use facebook or google, artificial intelligence enables machines to ... ... more info

6 Sep 2016: COULD ARTIFICIAL INTELLIGENCE SOLVE COMPLICATED HUMAN PROBLEMS?
Call it artificial intelligence with a human touch. Last week, two California universities separately announced new centres devoted to studying the ways in which AI can help humanity. The University of Southern California’s Viterbi School of Engineering ... ... more info

5 Sep 2016: THEY SET OUT TO SELL AN AI BOT AND ENDED UP PLUGGING MASSIVE DATA LOSS
They chanced upon a humongous problem while chasing another. Dipankar Sarkar and Akshaya Aron set out to build a bot with enough artificial intelligence to automate marketing. That’s a tough problem – not just to solve but also to explain to the rest ... ... more info

5 Sep 2016: GOOGLE MAY HAVE JUST CREATED ARTIFICIAL INTELLIGENCE FOR REAL BECAUSE THE FUTURE IS HERE
If you think you’re computer doesn’t know you better than anybody in your life, then you’re very, very wrong. In fact, Google and it’s new search engine software, RankBrain, is learning to guess what you’re thinking and your search game will ... ... more info

4 Sep 2016: REAL ETHICS FOR ARTIFICIAL INTELLIGENCE
SAN FRANCISCO — For years, science-fiction moviemakers have been making us fear the bad things that artificially intelligent machines might do to their human creators. But for the next decade or two, our biggest concern is more likely to be that robots ... ... more info

4 Sep 2016: COULD ARTIFICIAL INTELLIGENCE HELP HUMANITY? TWO CALIFORNIA UNIVERSITIES THINK SO, ANNOUNCE PUSH TO STUDY HOW
Call it artificial intelligence with a human touch. Last week, two California universities separately announced new centers devoted to studying the ways in which AI can help humanity. USC’s Viterbi School of Engineering and its School of Social Work said ... ... more info


Disclaimer