4 ms·

This looks like scripting to me, not describing the desired state of a system: % we can install by running apt-get in shell meet(python, linux(_)) :-

by nodata 13y ago

This looks like scripting to me, not describing the desired state of a system: % we can install by running apt-get in shell meet(python, linux(_)) :- % could also use: install_apt('python-dev') bash('sudo apt-get install -y python-dev').

artificialidiot 13y ago
Give them a break. It is not prolog had been hip for a long time. Using it more idiomatically will take some practice, maybe a few web frameworks and a couple of package managers.
- nodata 13y ago
  Give them a break? Why? They're trying to push this as a better way of managing a system.
  - artificialidiot 13y ago
    Another failure for getting my point across on my part. I don't see that we disagree that it is a feeble attempt at best. But consider this, who are we to judge the merits of that particular thing without more than a cursory examination? His project may as well be just a seed round away from becoming the next buzzword which people would wax poetic in the next few years. Also, logic programming is well positioned to be the next big thing discovered by the web developers because of its relative obscurity and functional programming losing its mystery. Give them a break. It is just one of the hundreds of hopeful toy projects posted here, of which only a handful that haven't been shot down within ten seconds.
    - nodata 13y ago
      You're right: it might be. But it also might not. And without him explaining the advantage of his approach, the project will be ignored by anyone who has used a system that shares his goal.
mcguire 13y ago
So, how do you describe how to install a package without looking like "scripting"?
- nodata 13y ago
  Package { "bash": ensure => installed }
lars512 13y ago
You describe the desired state in your met block, or more properly, tests meant to indicate if your desired state is met. Your meet block is the scripting which is supposed to get you there, but which is considered fallible. The met block checks after to see if it actually worked.

by nodata 13y ago

artificialidiot 13y ago

Give them a break. It is not prolog had been hip for a long time. Using it more idiomatically will take some practice, maybe a few web frameworks and a couple of package managers.

nodata 13y ago
Give them a break? Why? They're trying to push this as a better way of managing a system.
- artificialidiot 13y ago
  Another failure for getting my point across on my part. I don't see that we disagree that it is a feeble attempt at best. But consider this, who are we to judge the merits of that particular thing without more than a cursory examination? His project may as well be just a seed round away from becoming the next buzzword which people would wax poetic in the next few years. Also, logic programming is well positioned to be the next big thing discovered by the web developers because of its relative obscurity and functional programming losing its mystery. Give them a break. It is just one of the hundreds of hopeful toy projects posted here, of which only a handful that haven't been shot down within ten seconds.
  - nodata 13y ago
    You're right: it might be. But it also might not. And without him explaining the advantage of his approach, the project will be ignored by anyone who has used a system that shares his goal.

mcguire 13y ago

So, how do you describe how to install a package without looking like "scripting"?

nodata 13y ago
Package { "bash": ensure => installed }

lars512 13y ago

You describe the desired state in your met block, or more properly, tests meant to indicate if your desired state is met. Your meet block is the scripting which is supposed to get you there, but which is considered fallible. The met block checks after to see if it actually worked.