Declarative languages are fun. Prolog is the iconic one. You may be more familiar with Make.

For OO, every serious software engineer should read The Art of the Metaobject Protocol sometime in their lives.