https://kovirobi.uk/tags/build-systems/Recent content in Build-Systems on Kovacsics RobertHugoen-gbThu, 15 Oct 2026 15:28:49 +0100https://kovirobi.uk/blog/misc/build-systems/prolog/Thu, 15 Oct 2026 15:28:49 +0100https://kovirobi.uk/blog/misc/build-systems/prolog/<p>This turned out to be a long post, so here is an outline.</p> <nav id="TableOfContents"> <ul> <li><a href="#make-is-logic-programming">Make is logic programming</a></li> <li><a href="#prolog-is-the-original-logic-programming">Prolog is (the original) logic programming</a></li> <li><a href="#logic-programming-is-make">Logic programming is Make</a></li> </ul> </nav> <p>Make in Prolog code at <a href="https://git.kovirobi.uk/kovirobi/prolog-make">https://git.kovirobi.uk/kovirobi/prolog-make</a>.</p> <p>I have maintained for a long time that Prolog and Makefiles are very similar, recently I spent some time showing this is so. Let&rsquo;s explore this. The similarity comes from the way they both operate, looking at a database of facts, trying to prove what the user asked.</p>