Prolog bits.