# Need Help with research about industrial/commercial applications in Prolog **URL:** \ **Category:** General\ **Tags:** discussion, software\ **Created:** [January 29, 2024, 6:48pm UTC](https://swi-prolog.discourse.group/t/need-help-with-research-about-industrial-commercial-applications-in-prolog/7206 "2024-01-29T18:48:51Z")\ **Posts on this page:** 7\ **Page:** 1
**Author:** ![molfar](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/molfar/32/6121_2.png) [@molfar](https://swi-prolog.discourse.group/u/molfar)\ **Post date:** [January 29, 2024, 6:48pm UTC](https://swi-prolog.discourse.group/t/need-help-with-research-about-industrial-commercial-applications-in-prolog/7206/1 "2024-01-29T18:48:51Z")
Hello, friends, I was given an assignment by a teacher at my university to find commercial or industrial applications using prolog or logic programming and write a report. english is not my native language and there is not much information, so I decided to ask for help here. if you know of any commercial or industrial (or even open source) applications, please write about them and, if it’s not too much trouble, give me links. I will be infinitely grateful for your help! Thanks! ---
**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\ **Post date:** [January 29, 2024, 7:37pm UTC](https://swi-prolog.discourse.group/t/need-help-with-research-about-industrial-commercial-applications-in-prolog/7206/2 "2024-01-29T19:37:29Z")
See: [Useful Prolog references](https://swi-prolog.discourse.group/t/useful-prolog-references/1089) ---
**Author:** ![fsaenzperez](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/fsaenzperez/32/50_2.png) [@fsaenzperez](https://swi-prolog.discourse.group/u/fsaenzperez)\ **Post date:** [January 29, 2024, 8:16pm UTC](https://swi-prolog.discourse.group/t/need-help-with-research-about-industrial-commercial-applications-in-prolog/7206/3 "2024-01-29T20:16:42Z")
See also: [https://www.quora.com/Is-Prolog-used-in-large-scale-applications](https://www.quora.com/Is-Prolog-used-in-large-scale-applications) ---
**Author:** ![friguzzi](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/friguzzi/32/7045_2.png) [@friguzzi](https://swi-prolog.discourse.group/u/friguzzi)\ **Post date:** [January 30, 2024, 5:58am UTC](https://swi-prolog.discourse.group/t/need-help-with-research-about-industrial-commercial-applications-in-prolog/7206/4 "2024-01-30T05:58:47Z")
I have this list ContractExpress/DealBuilder from Business Integrity Ltd [www.business-integrity.com/](http://www.business-integrity.com/) InFlow from OrgNet [www.orgnet.com/](http://www.orgnet.com/) GridMind tool for modelling and simulation of new technologies implementation into energy grids (smart grids, smart metering etc.). Complex models satisfying lot of rules. Prolog + CLP[www.mycroftmind.com](http://www.mycroftmind.com) XSB, Inc. uses Prolog for knowledge extraction and standardization and for ontology representation. They found that Prolog code is more stable and they spend less on maintaining it than with Java code. [www.xsb.com/](http://www.xsb.com/) The Nokia N900 phone used prolog to do UI state management Prosyn: chemical process design consultant. The system is mainly implemented in Prolog. [www.process-design-center.com](http://www.process-design-center.com) Australian company developing stock brokering tools[www.securitease.com/](http://www.securitease.com/) Budapest company specialized in developing and providing microscale flow instruments for chemistry[www.thalesnano.com/](http://www.thalesnano.com/) Watson by IBMwww.cs.nmsu.edu/ALP/2011/03/natural-language-processing-with-prolog-in-the-ibm-watson-system PDC SCORE, by the Prolog Development Centre, is used to coordinate 20% of the air traffic in the world (Visual Prolog)[http://www.pdc.com/](http://www.pdc.com/) Molinarium, a website with learning resources for latin language by Spanish startup Molino de Ideas. It includes an automatic declensor, syllable splitter and an automatic simulator that takes a latin word and derives it to Spanish automatically (following the historical rules of transformation from Latin to Spanish). The code behind the project is Prolog [http://www.molinarium.com](http://www.molinarium.com) London-based startup Textrazor performs text analysis via API and the engine behind it is coded in Prolog[TextRazor - The Natural Language Processing API](http://www.textrazor.com/technology) Nobreach, Inc. uses Prolog and CHR for program analysis (symbolic execution). They have found that their executable operational semantics of programming languages (which lack formal definition) is more succinct and maintainable. [http://nobreachsecurity.com/](http://nobreachsecurity.com/) Cohors LLC uses an automatic test framework written in Prolog and wrote auto test sets for different companies products including AVG. U.S. Customs and Border Protection (CBP) uses prolog for various purposes central to its mission. This is a complex application in a high-volume large data environment, mixed with C, Java, C++. Prolog was used for specifying the type checker in the Java Virtual Machine version 7 > **[jvms7.pdf](https://docs.oracle.com/javase/specs/jvms/se7/jvms7.pdf)** > > 2.10 MB The type checker enforces type rules that are specified by means of Prolog clauses. English language text is used to describe the type rules in an informal way, while the Prolog clauses provide a formal specification. ---
**Author:** ![herme](https://avatars.discourse-cdn.com/v4/letter/h/74df32/32.png) [@herme](https://swi-prolog.discourse.group/u/herme)\ **Post date:** [January 30, 2024, 9:16am UTC](https://swi-prolog.discourse.group/t/need-help-with-research-about-industrial-commercial-applications-in-prolog/7206/5 "2024-01-30T09:16:25Z")
Very good pointers so far! You may also want to check out the talks on applications in the recent [Prolog day symposium](https://prologyear.logicprogramming.org/PrologDay.html). Longer descriptions were published in the related book [“Prolog: The Next 50 Years”](https://link.springer.com/book/10.1007/978-3-031-35254-6). ---
**Author:** ![chansey97](https://avatars.discourse-cdn.com/v4/letter/c/e480ec/32.png) [@chansey97](https://swi-prolog.discourse.group/u/chansey97)\ **Post date:** [February 3, 2024, 1:28pm UTC](https://swi-prolog.discourse.group/t/need-help-with-research-about-industrial-commercial-applications-in-prolog/7206/6 "2024-02-03T13:28:46Z")
> [@friguzzi](#): > > The Nokia N900 phone used prolog to do UI state management I’m curious about using Prolog (or logic programming) to manage UI state. Could you (or anyone else here) provide further information (i.e. Prolog and UI state management)? I can’t find resource about Prolog and Nokia N900 on the internet at the moment. Thanks. ---
**Author:** ![friguzzi](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/friguzzi/32/7045_2.png) [@friguzzi](https://swi-prolog.discourse.group/u/friguzzi)\ **Post date:** [February 25, 2024, 4:10pm UTC](https://swi-prolog.discourse.group/t/need-help-with-research-about-industrial-commercial-applications-in-prolog/7206/7 "2024-02-25T16:10:58Z")
The fact that Prolog was used in Nokia N900 was mentioned in this conversation in the swi-prolog mailing list in 2011: From Stefan: > On 28.04.2011 10:00, Jan Wielemaker wrote: > > > On Wed, 2011-04-27 at 23:27 +0200, Stefan wrote: > > > > > PS: did you know that SWI is shipped with every N900 phone? > > > Part of Maemo, I guess? I got some reports on possible writing > > > outside array boundaries recently (none of them was a real thread). > > > Seems to be part of some `policy manager’. Would be nice if such > > > usage can be made public. Its a bad thing that the majority of > > > commercial Prolog users is hiding Prolog as a secret weapon ☹ > > Yes, you’re right. It is apparently used by Nokia for some kind of > resource management or so. > > And in this case it IS public, kind of: > > [SWI-Prolog: running scripts? - maemo.org - Talk](http://talk.maemo.org/showthread.php?t=50798) > (where they also discuss how you can bring it to life on the command line) > > [maemo.org - package instance Ohm-plugin-prolog](http://maemo.org/packages/package_instance/view/fremantle_ssu_pr1-2_armel/ohm-plugin-prolog/0.0.14+0m5/) > (that shows the dependency with ‘ohm’, ‘Open Hardware Manager with Nokia > policy add-ons’) > > So, there is a swi-prolog package on the N900, it is not hidden, every > user of the device can see where swi-prolog is used e.g. using apt-cache > dump. I think it is a good sign, to use Prolog naturally where it fits, > as you would use other libraries. > I guess Stefan is this person [‪Stefan Rapp‬ - ‪Google Scholar‬](https://scholar.google.com/citations?user=6wB4gLgAAAAJ) (guessed from his email domain [http://conante.com](http://conante.com))