Testing out prolog stuff.