Introduction to the Fluent Calculus