Comment on Dusa Programming Language (Finite-Choice Logic Programming)parentComments−treetalker1yI suppose you could read it (i.e., ":-") as "provided that …", in which case it does follow standard English word order.−robsimmons1yGood point! "Whenever" is probably even closer to the correct meaning.−treetalker1yAgreed, "whenever" expresses a necessary implication, while "provided" expresses necessary but not necessarily sufficient prerequisites.
Comments
I suppose you could read it (i.e., ":-") as "provided that …", in which case it does follow standard English word order.
Good point! "Whenever" is probably even closer to the correct meaning.
Agreed, "whenever" expresses a necessary implication, while "provided" expresses necessary but not necessarily sufficient prerequisites.