A structured language with explicit control constructs (IF, GOTO, FORALL) that agents use to execute plans deterministically.