larsyencken/marelle
View on GitHub ↗ ★ 388 Prolog archived
Test-driven system administration with a little extra logic.
7 mentions on Hacker News by 6 people: 0 stories, 7 comments · first 2013-08-07 · latest 2024-05-05
20082026
-
…one. Prolog does the planning more or less “for free” because of its evaluation model. [1]: https://github.com/larsyencken/marelle
comment by fiddlerwoaroof · 2024-05-05 · in Ansible is a Lisp? -
Here's a full example I wrote in Prolog for doing small scale sysadmin: https://github.com/larsyencken/marelle It mixes logic programming as imperative programming, with more logicky features like facts and rules.
comment by lars512 · 2021-03-27 · in The Mercury programming language -
Here's an example of a config system using prolog: https://github.com/larsyencken/marelle It's a hard to tell where marelle ends and the config begins, since it's all just prolog.
comment by roller · 2020-01-13 · in The “No Code” Delusion -
…is clunky by today's standards, but I still haven't seen nicer syntax for writing non-determinism. https://github.com/larsyencken/marelle
comment by lars512 · 2014-09-12 · in Rethinking Prolog [pdf] -
…detetining host): echo Please install missing packages: echo sudo apt-get install ${missing-deps} https://github.com/larsyencken/marelle/blob/master/bootstrap...
comment by e12e · 2013-11-09 · in Marelle: logic programming for devops -
…for Clojure: https://github.com/nathanmarz/cascalog Marelle, test-driven devops in SWI-Prolog: https://github.com/larsyencken/marelle
comment by alexatkeplar · 2013-11-04 · in TuProlog: Making Prolog Ubiquitous -
…Requirements: git, prolog (package swi-prolog-nox, or swi-prolog). To install checkout repository https://github.com/larsyencken/marelle and run "make install" (optionally with DESTDIR=/your/custom/destination/path). Less writing, clear…
comment by viraptor · 2013-08-07 · in Marelle: logic-based devops with Prolog