News for hackers. Stuff that matters.

A comment on Marelle: logic programming for devops. Parent comment

Re:Marelle: logic programming for devops by danieldk on Saturday November 09, 2013 @03:13PM (#6702979)
Puppet's unpredictable ordering should be a write-and-forget benefit, but in reality it's very difficult to reason about.

But this is Prolog and ordering in Prolog is deterministic. Clause goals are proven in order. When there are multiple clauses with the same predicate, they are executed in order. If this weren't the case extra-logical facilities such as cuts wouldn't work in Prolog

[ Parent | on HN ]
Re:Marelle: logic programming for devops by NuclearTide on Saturday November 09, 2013 @07:47PM (#6704423)
:D I said Puppet, not Prolog. Though I did learn Prolog for a programming languages class in the time between the end of my internship and today. The connection didn't appear to me until reading calpaterson's post.
[ Parent | on HN ]