This turned out to be a long post, so here is an outline.

Make in Prolog code at https://git.kovirobi.uk/kovirobi/prolog-make.

I have maintained for a long time that Prolog and Makefiles are very similar, recently I spent some time showing this is so. Let’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.