Is there any serious project going on using PROLOG? [closed]

Closed. This question is opinion-based. It is not currently accepting answers. 开发者_运维百科

---

Want to improve this question? Update the question so it can be answered with facts and citations by editing this post.

Closed 8 years ago.

Improve this question

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

_{(source: atarimagazines.com)}

                         **?**

---

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

• Clarissa, a fully voice-operated procedure browser developed by the NASA Intelligent Systems Division.

• A dispensation order generation algorithm for Pyrosequencing's sequence analysis instruments, using constraint programming with SICStus.

• Logistics applications by RedPrairie.

Source:

https://sicstus.sics.se/customers.html

---

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

---

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

---

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), Event Management (IBM DataHub, Tivoli), Text Mining (Price Waterhouse, Kaidara), and now Event Managment again (BMC Software).

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.

---

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

---

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

---

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