Here's a full example I wrote in Prolog for doing small scale sysadmin: https://github.com/larsyencken/marelle https://github.com/larsyencken/marelle It mixes

Here's a full example I wrote in Prolog for doing small scale sysadmin: https://github.com/larsyencken/marelle https://github.com/larsyencken/marelle It mixes logic programming as imperative programming, with more logicky features like facts and rules.