Situational Calculus is a subset of Computational Logic
General Computational Logic can be used to mediate Web Services
One rule for web service
knowing
One rule for special use of known equations with
Compute
service
Pair of rules for inverting arithmetic formulas
Very general
Full power of Automatic Theorem Proving.
(See small example of situational calculus.)
© 2007 Charles Petrie - permission to reproduce widely with attribution
