Is there any serious project going on using PROLOG?

Question

   **Is there any serious project going on using** 

                         **?**

Answer 1

SWI Prolog claims 10,000 downloads per month, so somebody must be using it for something.

Answer 2

Cisco owned the ECLiPSe platform for a long while (eventually released it as open source) and uses it for network management decision support applications.

Answer 3

Visual Prolog selling his commercial licenses for €299
So there should be some money-making projects.
See also Prolog Development Center

Answer 4

SICStus and LPA Prolog cite selected customer applications that sound very serious, for example:

http://www.sics.se/isl/sicstuswww/site/customers.html

Answer 5

You might want to visit the Commercial Users of Logic Programming Workshop to find out.

Answer 6

The Cyc project uses a language which is extremely similar to Prolog, from what I've seen. According to them, the main reason they do not use Prolog is that it does not scale to the size of databases they deal with.

So while it's not a direct answer to your question, I think it might satisfy the "is Prolog actually used for series stuff" thought.

More information:

• Wikipedia page for Cyc
• A brief explanation of their language, CycL, and why they don't use Prolog
• Some more information about their inference mechanics

Answer 7

I've been working on industrial/commercial applications of Prolog since the 1980's. These include: natural language applications (Lockheed), CASE (Knowledgeware), compilers (Quintus), call center applications (Quintus), IBM (Tivoli), Text Mining (Price Waterhouse, Kaidara), and currently BMC Software (Event Management).

If you have a chance to learn it, do so. There is nothing else like it. Unfotunately, jobs in it are as rare as hens teeth. If you want to work in a beautiful language that has some traction, consider Scala.