|
|
|
|
|
|
by JadeNB
4229 days ago
|
|
|
> The problem is that the world at large is often in a flux and can't be conveniently described in terms of static relationships Apparently there was work in the late '90's on accounting for this without `assert` / `retract`-style messiness: https://en.wikipedia.org/wiki/Transaction_logic. |
|
|