Introduced by John McCarthy in 1963 [1]}, situation calculus has been widely applied in Artificial Intelligence related research areas and other fields. This formalism is considered as a dialect of logic programming language and mostly used in dynamic domain modeling. Based on First Order Logic (FOL) [2]} and Basic Action Theory [3]}, situation calculus can be used for reasoning efficiently by virtue of dynamic elements, such as actions and fluents. Basic concepts of situation calculus are fundamentals of First Order Logic and Set Theory in Mathematical Logic, which greatly facilitate the process of action-based reasoning in situation calculus.
