We all learned prolog at the lab, well at least those of us who used prolog.