Y
Hacker News
new
|
ask
|
show
|
jobs
by
UncleMeat
1523 days ago
You could imagine a semantics that produces different results depending on the order of inference rules.