🚀 go-pugleaf

| In article <29700028@uiucdcs> reddy@uiucdcs.UUCP writes:
| | To rggoebel@watdragon:
| | You can try explaining cut, var and nonvar logically.  If you do it
| | successfully, you could become a star of the logic programming community.
| 
| In all humility, and with a strong chance of getting it all wrong here I
| go:
|	....
Then alan@cheops.OZ (Alan Tonisson) shoots down the attempt.

A simple way to convince yourself that these are non-logical is to remember
that AND and OR are commutative and associative.  Thus a clause has the
same logical meaning under all permutations of its literals.
But clearly, clauses with cut, var, and nonvar do not have this property,
in general -- the order of subgoals DOES matter.  QED