SB-Prolog: Operational Semantics

• Standard Execution Behaviour
• Cuts and If-Then-Else
• Unification of Floating Point Numbers