You may want to check out hypertalk, algol, prolog, and simula 67 too.