Design rationale for TELOS, a PASCAL-based AI language