"Logic Programming can be broadly defined as “using logic to infer computational steps from existing propositions” However, mathematical logic cannot always infer computational steps because computational systems make use of arbitration for determining which message is processed next by a recipient that is sent multiple messages concurrently. Since arrival orders are in general indeterminate, they cannot be inferred from prior information by mathematical logic alone." - Carl Hewitt
Created
January 18, 2013 04:00
-
-
Save mrb/4562243 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment