Adding Prolog semantics.