Resolving in Pascal