Report - 02 - Syntax and semantics - uni-bonn.de · Prolog Syntax and Semantics Syntax Model-theoretic semantics (“Logical Consequence”) Operational semantics (Operational semantics (

Please pass captcha verification before submit form