Hot: prolog