Replaced some opinion with simple statements. Added instruction on switching to Prolog mode.