Open Gauntlet173 opened 1 year ago
Right now there is no way to state facts more than one statement at a time, so that they share a variable scope. An "and" or "all of" block might be useful for that, if it can be implemented with parentheses or something in s(CASP).
This would be nice to combine with #115 .
Right now there is no way to state facts more than one statement at a time, so that they share a variable scope. An "and" or "all of" block might be useful for that, if it can be implemented with parentheses or something in s(CASP).
This would be nice to combine with #115 .