From the hub, tagged: "Situation Calculus"

Facts and Fluents vs Constants and Variables

In Prolog we have facts rather than constants, fluents rather than variables. This post is another terminology breakdown with examples and comparison to features common in other programing languages.