I'm trying to source some programs and libraries written in Prolog to gain a better understanding of how a complete application is put together. Lots of Hello, World-esque examples out there, but looking for things that are a little less trivial.<p>I did come across terminusdb: https://github.com/terminusdb/terminusdb which looks interesting.<p>Any other codebases people would recommend that are worth a read?
One of the most interesting applications of Prolog I have seen in the recent past is the formalization of <i>dose-escalation trial designs</i> that occur in clinical oncology. In particular, David C. Norris has implemented a Prolog formulation of the cumulative cohort design (CCD) as part of his <i>precautionary</i> package:<p><a href="https://github.com/dcnorris/precautionary/blob/main/exec/prolog/ccd.pl" rel="nofollow">https://github.com/dcnorris/precautionary/blob/main/exec/pro...</a><p>This Prolog program can be used to exhaustively <i>enumerate</i> all possible arising cases, and also to <i>complete</i> partially given trials. In addition to the specific usage mode of telling the clinician what action to perform next after a sequence of events has occurred, it is also possible to ask interesting questions about the trial design as a whole, such as whether specific cases can arise at all, or whether a specific instance was performed according to the protocol. In this sense, the formulation truly serves as an <i>executable specification</i> of trial designs that are otherwise stated only comparatively informally in the medical literature, and may even be subject to divergent interpretations. The formulation uses Scryer Prolog and the latest Prolog language constructs (such as if_/3 and CLP(ℤ) constraints) to achieve a short and very general description. Such declarative specifications may help considerably to improve safety and efficiency of clinical trials, by making all steps and outcomes amenable to analysis and comparison.<p>Theorem provers and reasoning engines are also often implemented in Prolog. A recent example is <i>solidarity</i> by Jos De Roo:<p><a href="https://github.com/josd/solidarity" rel="nofollow">https://github.com/josd/solidarity</a><p>Prolog is also frequently used for prototyping <i>interpreters</i>. For example, Adrián Arroyo Calle is working on a MIPS simulator written in Prolog:<p><a href="https://github.com/aarroyoc/mipsie" rel="nofollow">https://github.com/aarroyoc/mipsie</a><p>Simon Forman has implemented a Prolog interpreter of <i>Joy</i> in which, remarkably, the declarative description also serves as a type inferencer and type checker:<p><a href="https://git.sr.ht/~sforman/Thun/tree/master/item/source/thun.pl" rel="nofollow">https://git.sr.ht/~sforman/Thun/tree/master/item/source/thun...</a><p>Porting this code to Scryer Prolog could be an interesting project if it appeals to you. There is already an issue for it and pertaining discussion:<p><a href="https://github.com/mthom/scryer-prolog/issues/388" rel="nofollow">https://github.com/mthom/scryer-prolog/issues/388</a>
TerminusDB CTO here.<p>Echoing what triska said, CLP(ℤ) and friends are some of the most under-appreciated aspects of prolog implementations.<p>I'm amazed that programmers still don't have access to CLP when trying to do scheduling and planning solutions.<p>As an example in practice, what if you want to know about a transaction in which a number of entities transitively had holdings in one of the beneficiaries of the transaction at that particular time. The date window is not known, and the date windows are important in the ownership chain as well as the transactions that are being undertaken.<p>With CLP(FD) you can ask for <i>a</i> window of time, and the solution will zoom in on an appropriate time window which exists for the entire chain and match the time of the transaction.<p>Now try to do this query in SQL. It's almost impossibly hard.<p>I can't wait until I have the time to implement constraint variables for TerminusDB, but at the minute we are still working on more prosaic features.<p>Aside from that there are very interesting program correctness and optimisation systems which are based on prolog (usually a datalog). For instance Soufflé: <a href="https://souffle-lang.github.io" rel="nofollow">https://souffle-lang.github.io</a>
Not exactly a big codebase, but it was a revelation for me how natural typecheckers can feel in Prolog: I basically rewrote typing rules with some tweaks: [1]<p>Also, tests were surprisingly enjoyable in Prolog: [2].<p>[1] <a href="https://github.com/EarlGray/language-incubator/blob/29755c32edc631d3a296d06242e0e339b24453db/fp/tapl/fullsimple.pl" rel="nofollow">https://github.com/EarlGray/language-incubator/blob/29755c32...</a>
[2] <a href="https://github.com/EarlGray/language-incubator/blob/29755c32edc631d3a296d06242e0e339b24453db/fp/tapl/fullsimple.plt" rel="nofollow">https://github.com/EarlGray/language-incubator/blob/29755c32...</a>
Not sure how helpful it is for your purposes, but I found the usage of Prolog in Windows NT to dynamically build the network stack super fascinating: <a href="https://web.archive.org/web/20040603192757/research.microsoft.com/research/dtg/davidhov/pap.htm" rel="nofollow">https://web.archive.org/web/20040603192757/research.microsof...</a>
I use it for reverse engineering unknown struct layouts for DWG classes. A field packing problem.<p>I'm using picat, a better Prolog dialect, and generate the facts automatically from C to generate the field layouts via picat automatically.<p><a href="https://github.com/LibreDWG/libredwg/blob/master/examples/ACAD_EVALUATION_GRAPH.pi" rel="nofollow">https://github.com/LibreDWG/libredwg/blob/master/examples/AC...</a><p>optimization problems as in compilers are extremely natural in Prolog.
I wrote commercial Prolog applications circa 1990 and it is the nicest programming language that I know (I used over 30 in my 50 year career); I recommend the book The Art of Prolog, by Ehud Shapiro. Also the idea that with Prolog, you can easily write programs that write programs (I wrote a few of those) and that it may be feasible to scale up a program to fill in the code to match input and output descriptions, and build possibly unlimited complex logic on top of simpler components, as I think Shapiro was working on this approach in the 1990's for the Israeli gov., before the project went under the covers, it seems.
Not a lot of code but a somewhat different use of Prolog than you're likely to see elsewhere. I used my fork of a MQTT library for Prolog (<a href="https://github.com/sprior/swi-mqtt-pack" rel="nofollow">https://github.com/sprior/swi-mqtt-pack</a>) to implement the central controller for my home automation system. The system responds to MQTT events and then coordinates the appropriate action by sending MQTT messages to other home services. Recent versions of SWI-Prolog also support redis and I've started using that to store device configuration and state between services. The MQTT version is actually a reimplementation of my previous version which used CORBA for inter-service communication.<p>I don't distribute the home automation code however it's pretty specific to my house. The MQTT library provides some building block examples.<p>You can also see some other comments I've made on HN which describe some other details.
The Tau Prolog (<a href="http://tau-prolog.org" rel="nofollow">http://tau-prolog.org</a>) system (written in JS) is used here <a href="https://www.codebymath.com/index.php/welcome/lesson_menu#prolog" rel="nofollow">https://www.codebymath.com/index.php/welcome/lesson_menu#pro...</a> to use Prolog as a way of teaching mathematical concepts.
The first version of erlang was written in prolog. <a href="https://wikipedia.org/wiki/Erlang_(programming_language)" rel="nofollow">https://wikipedia.org/wiki/Erlang_(programming_language)</a>
Mercury (<a href="https://mercurylang.org" rel="nofollow">https://mercurylang.org</a>) is a language descended from Prolog that has some interesting examples. Personally I think it shows a lot more promise than many other languages people get very excited about.
I used Prolog at my job to fill out complex regulatory forms required in the financial industry. I have a Perl module that queries an Oracle database and constructs the facts database. This is paired with a set of rules to write out the form elements.<p>I have one other Prolog project that is part of a tool. It explains the relationship between potentially related people. It is used in financial surveillance.
Gerrit's prolog rules may be worth a look: <a href="https://gerrit-documentation.storage.googleapis.com/Documentation/3.4.0/prolog-cookbook.html#_prolog_language" rel="nofollow">https://gerrit-documentation.storage.googleapis.com/Document...</a> .
You could look at "PRESS: PRolog Equation Solving System", "a system for solving
symbolic, transcendental, non-differential equations."<p><pre><code> Journal of Symbolic Computation
Volume 7, Issue 1, January 1989, Pages 71-84
"Solving symbolic equations with PRESS"
</code></pre>
<a href="https://www.sciencedirect.com/science/article/pii/S0747717189800070" rel="nofollow">https://www.sciencedirect.com/science/article/pii/S074771718...</a><p>Source: <a href="https://github.com/maths/PRESS" rel="nofollow">https://github.com/maths/PRESS</a><p>- - - -<p>BTW, Does anyone know where I can find the source for MIXTUS partial evaluation system?
At work we modelled our role-based access control logic in prolog. Once you realise that your authorization is logic programming, you gain access to better tools, more formal ways to think about it, and a treasure trove of literature. :)
I write Prolog version bulletML in Prolog.<p><a href="https://github.com/hsk/bulletpl/blob/master/bulletpl/1943_rolling_fire.xml" rel="nofollow">https://github.com/hsk/bulletpl/blob/master/bulletpl/1943_ro...</a><p>It is a movement of the rolling fire of CAPCOM shooting game 1943.<p>Original Bullet ML DSL is XML base, however this version base Edinburgh Prolog format.<p><a href="http://www.asahi-net.or.jp/~cs8k-cyu/bulletml/index_e.html" rel="nofollow">http://www.asahi-net.or.jp/~cs8k-cyu/bulletml/index_e.html</a>
At the public funded project <a href="http://vvm-projekt.de" rel="nofollow">http://vvm-projekt.de</a> we are developing methods for verification and validation of autonomous driving. My team developed an analysis method for information flow in urban intersections. The software is implemented in PROLOG (Logtalk). See paper about here (German, will follow in English soon) <a href="https://arxiv.org/abs/2108.00252" rel="nofollow">https://arxiv.org/abs/2108.00252</a> and infos about implementation <a href="https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VVM_HZE_S1_P16_20220315_PSMFormalization.pdf" rel="nofollow">https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VV...</a> and <a href="https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VVM_HZE_S1_P17_20220315_PSMSWArchitectur.pdf" rel="nofollow">https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VV...</a> (English). The project will be finished mid 2023<p>Cheers
Hans
Alpino is a natural language parser and generator for Dutch, written largely in (SICStus) Prolog and some C/C++:<p><a href="https://github.com/rug-compling/Alpino" rel="nofollow">https://github.com/rug-compling/Alpino</a><p>Even in the age of neural parsers, it's still one of the most competitive parsers for Dutch.
Not sure it is recommended reading, but maybe to see what else you could do with Prolog besides interpreters, DSLs etc:<p>As part of a knowledge systems course we built a small game in (mostly) Prolog<p><a href="https://github.com/tobischo/mine-prolog-tba" rel="nofollow">https://github.com/tobischo/mine-prolog-tba</a>
Not sure if you'd consider this a "complete application" that is bigger than a "Hello-World-esque example" but I've worked on a Discord bot in SWI Prolog[1] for a while with a friend. It was an interesting experience and although a lot of the work (e.g. SWI has a ready-made library for interfacing with WebSockets and sending out HTTPS requests).<p>Some interesting applications of Prolog specifically include using predicates to filter messages by certain criteria (e.g. if it was sent by the bot's account or not), being able to hot-reload by invoking the make/0 predicate, and homoiconicity to (in theory) easily evaluate random code supplied by a user.<p>[1]: <a href="https://github.com/prolord-pl/prolord" rel="nofollow">https://github.com/prolord-pl/prolord</a>
Here's an example for a problem that's moderately difficult to do recursively, hard to do iteratively, and trivial in Prolog:<p>Given that you have the following coins, 1¢ (i.e. 1 cent or $0.01), 5¢, 10¢, 25¢, 50¢, how many different ways are there to give change for a dollar? For example, one way would be to give 2x50c, another would be to give 100x1c. How many are there total?<p>In most languages this is not super easy to do unless you're very comfy with recursion.<p>In Prolog the solution is basically (pseudocode):<p><pre><code> 100 = a*50 + b*25 + c*10 + d*5 + e*1
</code></pre>
and Prolog will just figure out all possible combinations for you.<p>The challenge with Prolog as far as I understand is making things fast.
I usually check out the GitHub Trending page for a programming language. Amusingly, the project you linked is the only result for Prolog this month on GitHub.<p><a href="https://github.com/trending/prolog?since=monthly" rel="nofollow">https://github.com/trending/prolog?since=monthly</a>
Don't think you'd get the codebase for it, but I know this is built in SWI prolog <a href="https://www.securitease.com/" rel="nofollow">https://www.securitease.com/</a> . Looks like it was presented a decade ago <a href="https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf" rel="nofollow">https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf</a>
I've recently come across "The Eye of Horus", a paper + associated code base [1] analysing attacking transactions on smart contracts using DataLog (a subset of Prolog). Not all of it is written in DataLog, but the vulnerability analysis is - the core component of the framework.<p>[1] <a href="https://arxiv.org/abs/2101.06204" rel="nofollow">https://arxiv.org/abs/2101.06204</a>
Lots of neat examples in this book: <a href="https://www.amazon.com/Clause-Effect-Programming-Working-Programmer/dp/3540629718" rel="nofollow">https://www.amazon.com/Clause-Effect-Programming-Working-Pro...</a>
Not an example of prolog but I wish Ed had time to continue developing <a href="https://github.com/ekmett/guanxi" rel="nofollow">https://github.com/ekmett/guanxi</a>.
I made this demo project a while back, you might find it useful:<p><a href="https://github.com/SallySoul/regexc" rel="nofollow">https://github.com/SallySoul/regexc</a>
eval(I,I):-integer(I).<p>eval(E1+E2,I):- eval(E1,I1),eval(E2,I2), I is I1+I2.<p>eval(E1<i>E2,I):- eval(E1,I1),eval(E2,I2), I is I1</i>I2.<p>:- eval(1<i>2+3</i>4,R),writeln(R),R=14.<p>:- halt.<p>Very simple Operational Semantics.<p>this mean<p>syntax<p>e ::= i | e+e | e * e<p>evaluation rule<p>-------------- (E-Int)<p>i1-->i1<p>e1-->i1 e2-->i2<p>i is i1+i2<p>------------------- (E-Plus)<p>e1+e2 --> i<p>e1-->i1 e2-->i2<p>i is i1<i>i2<p>------------------- (E-Times)<p>e1*e2 --> i</i>
Prolog is a programming language that was developed in the 1970s. It is a logic-based programming language, which is pretty different from your typical programming language. Instead of writing functions and then having the computer execute them, Prolog lets you write rules and it will try to deduce the answers to your questions.<p>It's a pretty wild concept, and there are tons of cool examples of what Prolog can do. Some examples are:<p>- A solver for Suduko puzzles: <a href="https://rosettacode.org/wiki/Sudoku#Prolog" rel="nofollow">https://rosettacode.org/wiki/Sudoku#Prolog</a><p>- A simple game where you guess a person's age: <a href="https://rosettacode.org/wiki/Guess_the_number#Prolog" rel="nofollow">https://rosettacode.org/wiki/Guess_the_number#Prolog</a><p>- A family tree program: <a href="https://rosettacode.org/wiki/Family_tree#Prolog" rel="nofollow">https://rosettacode.org/wiki/Family_tree#Prolog</a>